DEFINITION MODULE SysClock;
(* Wall-clock and processor time, bound to the runtime shim (libc
   time/clock). *)

CONST ClocksPerSec = 1000000;
(* Processor-time ticks per second on the supported host (libc
   CLOCKS_PER_SEC is 1,000,000). *)

PROCEDURE Time() : LONGINT;
(* Seconds since the Unix epoch (1 January 1970, 00:00 UTC). *)

PROCEDURE Clock() : LONGINT;
(* Processor time used by the program so far, in ticks of
   ClocksPerSec per second. *)

END SysClock.