INTERFACE CPUTime;

(* 
  User CPU time (via "Uresource.getrusage").  
  Created by J. Stolfi on 95-01-29

  The values are returned in microseconds; to print a CPUtime 
  value, use Now()/Second, Now()/Millisecond, etc., as appropriate.
  Beware: individual readings are accurate only to 1/60 of second.

*)

TYPE T = LONGREAL;

CONST
  Microsecond = 1.0d0;
  Millisecond = 1000.0d0 * Microsecond;
  Second = 1000.0d0 * Millisecond;
  Minute = 60.0d0 * Second;
  Hour = 60.0d0 * Minute;

PROCEDURE Now(): T;

END CPUTime.