DEFINITION MODULE FileIO ; (* Whole-file read/write for the MC64 machine. Raw binary access. *) EXPORT QUALIFIED ReadFile, WriteFile ; PROCEDURE ReadFile (name: ARRAY OF CHAR; VAR data: ARRAY OF CHAR; VAR got: CARDINAL) : BOOLEAN ; PROCEDURE WriteFile (name: ARRAY OF CHAR; VAR data: ARRAY OF CHAR; n: CARDINAL) : BOOLEAN ; END FileIO.