IMPLEMENTATION MODULE RealInOut; IMPORT RealIO; PROCEDURE ReadReal (VAR x : REAL); BEGIN RealIO.ReadReal(x); Done := TRUE; termCH := CHR(0) END ReadReal; PROCEDURE WriteReal (x : REAL; width : CARDINAL); BEGIN RealIO.WriteRealF(x, width) END WriteReal; BEGIN Done := TRUE; termCH := CHR(0) END RealInOut.