MODULE RealProg;
(* RealIO: WriteReal / WriteRealF output and ReadReal input. *)
IMPORT RealIO, SysIO;
VAR ExitCode : INTEGER;
VAR x : REAL;
BEGIN
  RealIO.WriteReal(3.5);
  SysIO.WriteLn;
  RealIO.WriteRealF(2.5, 16);
  SysIO.WriteLn;
  x := 0.0;
  RealIO.ReadReal(x);
  IF x = 1.25 THEN ExitCode := 42 ELSE ExitCode := 7 END
END RealProg.