DEFINITION MODULE RealInOut; (* Classic PIM real I/O, layered on RealIO. *) VAR Done : BOOLEAN; termCH : CHAR; PROCEDURE ReadReal (VAR x : REAL); PROCEDURE WriteReal (x : REAL; width : CARDINAL); END RealInOut.