MODULE TLong;
(* 64-bit LONGINT: arithmetic past 32 bits, comparisons. Exit 42. *)
VAR ExitCode : INTEGER;
VAR a, b, c : LONGINT;
BEGIN
  a := 1000000;
  b := a * a;              (* 10^12 *)
  b := b DIV a;            (* back to a *)
  IF b = a THEN ExitCode := 42 ELSE ExitCode := 0 END;
  c := a + 5;
  IF c > a THEN ExitCode := ExitCode ELSE ExitCode := 1 END
END TLong.