 TYPE
    pmt$processor_description = record
      id: ost$logical_processor_id,
      element_id: ost$cpu_element_id,
      state: cmt$element_state,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc ost$cpu_definitions
*copyc cmt$element_state
?? POP ??
