
  TYPE
    pmt$task_jobmode_statistics = RECORD
      jobmode_cptime: integer,
      paging_statistics: ost$paging_statistics,
    RECEND;
*copyc OST$PAGING_STATISTICS
