DEFINITION MODULE FileIO; EXPORT QUALIFIED Initialise, Terminate; PROCEDURE Initialise; PROCEDURE Terminate; END FileIO.