DEFINITION MODULE NumberIO;
(* Classic PIM numeric I/O (gm2-compatible interface), layered on InOut. *)

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

END NumberIO.