MODULE GPBinFiles; IMPORT GPFiles; TYPE FILE* = POINTER TO RECORD (GPFiles.FILE) END; PROCEDURE WriteNBytes*( p0 : FILE; IN p1 : ARRAY OF BYTE; p2 : INTEGER); PROCEDURE EOF*(p0 : FILE) : BOOLEAN; PROCEDURE WriteByte*(p0 : FILE; p1 : INTEGER); PROCEDURE readNBytes*( p0 : FILE; OUT p1 : ARRAY OF BYTE; p2 : INTEGER) : INTEGER; PROCEDURE getFullPathName*(p0 : FILE) : GPFiles.FileNameArray; PROCEDURE length*(p0 : FILE) : INTEGER; PROCEDURE readByte*(p0 : FILE) : INTEGER; PROCEDURE findOnPath*(IN p0 : ARRAY OF CHAR; IN p1 : ARRAY OF CHAR) : FILE; PROCEDURE openFile*(IN p0 : ARRAY OF CHAR) : FILE; PROCEDURE createFile*(IN p0 : ARRAY OF CHAR) : FILE; PROCEDURE findLocal*(IN p0 : ARRAY OF CHAR) : FILE; PROCEDURE createPath*(IN p0 : ARRAY OF CHAR) : FILE; PROCEDURE CloseFile*(p0 : FILE); END GPBinFiles.