INTERFACE DEFINITION MODULE RDTSC;
  IMPORT IMPLEMENTATION FROM "rdtsc.o";
  IMPORT HugeInts;

  (** returns cycles since reboot *)
  PROCEDURE Cycles() : HugeInts.HUGEINT;
END RDTSC.