MODULE TF32Proc;
VAR ExitCode : INTEGER;
PROCEDURE add (a, b : SHORTREAL) : SHORTREAL;
BEGIN
  RETURN a + b
END add;
PROCEDURE flag (x : CBool) : CBool;
BEGIN
  RETURN x
END flag;
VAR x : SHORTREAL; b : CBool;
BEGIN
  x := add(1.5, 2.25);
  b := flag(TRUE);
  IF (x = 3.75) AND b THEN ExitCode := 42 ELSE ExitCode := 1 END
END TF32Proc.