MODULE SysClockProg;
(* SysClock: wall-clock and processor time. Exit 3. *)
IMPORT SysClock;
VAR ExitCode : INTEGER;
VAR t : LONGINT;
BEGIN
  ExitCode := 0;
  t := SysClock.Time();
  IF t > 1600000000 THEN ExitCode := ExitCode + 1 END;   (* after 2020 *)
  IF SysClock.Clock() >= 0 THEN ExitCode := ExitCode + 2 END
END SysClockProg.