INTERFACEOS ; IMPORT File, OSError; FROM Ctypes IMPORT int; PROCEDURE IsDirectory (path: TEXT): BOOLEAN; PROCEDURE Close (f: File.T; modTime: LONGREAL; path: TEXT) RAISES {OSError.E}; <*EXTERNAL OS__UTimes*> PROCEDURE UTimes (path: TEXT; time: LONGREAL): int; END OS.