FileSys: obj
%include StringLib
file_open:
%basic
in N: ref String
out id: var integer
file_get:
%basic
in id: var integer
out ch: var char
file_eos:
%basic
in id: var integer
out B: var Boolean
file_close:
%basic
in id: var integer
File:
in f_id: var integer
get:
out ch: var char
eof:
out B: var Boolean
close:
open:
in N: ref String
out H: ref File
id: var integer