DEFINITION MODULE WholeIO;
(* Integer input/output (ISO-style names). *)

PROCEDURE WriteInt(n : INTEGER);
PROCEDURE WriteCard(n : CARDINAL);
PROCEDURE ReadInt(VAR n : INTEGER);
PROCEDURE ReadCard(VAR n : CARDINAL);

END WholeIO.