{Define job statistics record. This record is not kept in any system table but is constructed
{when required from information kept in several system tables.

  TYPE
    jmt$job_statistics = record
      cp_time: ost$cp_time,
      paging_statistics: ost$paging_statistics,
      working_set_size: 0 .. 0ffff(16),
      ready_task_count: 0 .. 0ffff(16),
    recend;

*copyc OST$CP_TIME
*copyc OST$PAGING_STATISTICS
