
  CONST
    pmc$cpu_time_maximum = 07fffffffffffffff(16),
    pmc$ready_task_count = 0ffff(16),
    pmc$working_set_size = 0ffffff(16);

  TYPE
    pmt$cpu_time = 0 .. pmc$cpu_time_maximum,
    pmt$ready_task_count = 0 .. pmc$ready_task_count,
    pmt$working_set_size = 0 .. pmc$working_set_size;

  TYPE
    pmt$paging_statistics = record
      page_in_count: 0 .. 0ffffffff(16),
      pages_reclaimed_from_queue: 0 .. 0ffffffff(16),
      new_pages_assigned: 0 .. 0ffffffff(16),
      pages_from_server:  0 .. 0ffffffff(16),
      page_fault_count:   0 .. 0ffffffffffff(16),
      working_set_max_used: 0 .. 0ffffff(16),
    recend;

  TYPE
    pmt$job_task_statistics = record
      case key: pmt$job_task_statistics_key of
      = pmc$jts_job_cpu =
        job_cpu_time: pmt$cpu_time,
      = pmc$jts_job_job_cpu =
        job_job_cpu_time: pmt$cpu_time,
      = pmc$jts_job_monitor_cpu =
        job_monitor_cpu_time: pmt$cpu_time,
      = pmc$jts_null_statistic =
        ,
      = pmc$jts_paging_statistics =
        paging_statistics: pmt$paging_statistics,
      = pmc$jts_ready_task_count =
        ready_task_count: pmt$ready_task_count,
      = pmc$jts_task_cpu =
        task_cpu_time: pmt$cpu_time,
      = pmc$jts_task_job_cpu =
        task_job_cpu_time: pmt$cpu_time,
      = pmc$jts_task_monitor_cpu =
        task_monitor_cpu_time: pmt$cpu_time,
      = pmc$jts_working_set_size =
        working_set_size: pmt$working_set_size,
      casend,
    recend;

  TYPE
    pmt$job_task_statistics_key = (pmc$jts_job_cpu, pmc$jts_job_job_cpu,
          pmc$jts_job_monitor_cpu, pmc$jts_null_statistic,
          pmc$jts_paging_statistics, pmc$jts_ready_task_count,
          pmc$jts_task_cpu, pmc$jts_task_job_cpu, pmc$jts_task_monitor_cpu,
          pmc$jts_working_set_size);

