MODULE TTruncFloat;
// Standard builtins ODD / TRUNC / FLOAT.  Exit 42.
VAR i : INTEGER; r : REAL; ExitCode : INTEGER;
BEGIN
  i := 7;
  r := FLOAT(i) + 0.5;                 (* 7.5 *)
  IF ODD(i) AND (TRUNC(r) = 7) AND (TRUNC(FLOAT(3)) = 3) THEN
    ExitCode := 42
  ELSE ExitCode := 1
  END
END TTruncFloat.