
  TYPE
    pmt$binary_cpu_attributes = record
      highest_defined_cpu_number: 0 .. osc$maximum_processor_number,
      cpu: array [0 .. osc$maximum_processor_number] of
            pmt$binary_cpu_attribute,
    recend;

  TYPE
    pmt$binary_cpu_attribute = record
      processor_element_id: ost$processor_element_id,
      processor_state: cmt$element_state,
    recend;

*copyc cmt$element_state
*copyc osc$maximum_processor_number
*copyc ost$processor_element_id
