MODULE PRealFn;
VAR r : REAL; ExitCode : INTEGER;
PROCEDURE Half(x : REAL) : REAL;
BEGIN
  RETURN x / 2.0
END Half;
PROCEDURE AddR(a, b : REAL) : REAL;
BEGIN
  RETURN a + b
END AddR;
BEGIN
  r := AddR(1.5, Half(7));
  IF r = 5.0 THEN ExitCode := 5 ELSE ExitCode := 6 END
END PRealFn.