rel open(String name, String mode, f) c::fopen(str(name),mode,f) File={ rel new(f, fcs, prev) io.open(name,mode,f) rel close(File f) c::close(f) }