
  TYPE
    jmt$clock_time = integer;

  CONST
    jmc$earliest_clock_time = 0,
    jmc$latest_clock_time = 0ffffffffffff(16);
