IMPLEMENTATION MODULE RealIO;

PROCEDURE m2writereal(x : REAL);
  EXTERNAL;

PROCEDURE m2writerealf(x : REAL; wid : INTEGER);
  EXTERNAL;

PROCEDURE m2readreal() : REAL;
  EXTERNAL;

PROCEDURE WriteReal(x : REAL);
BEGIN
  m2writereal(x)
END WriteReal;

PROCEDURE WriteRealF(x : REAL; width : CARDINAL);
BEGIN
  m2writerealf(x, width)
END WriteRealF;

PROCEDURE ReadReal(VAR x : REAL);
BEGIN
  x := m2readreal()
END ReadReal;

END RealIO.