  TYPE
    pmt$mainframe_attribute = record
      case key: pmt$mainframe_attribute_keys of
      = pmc$mak_active_processors =
        active_processors: pmt$number_of_processors,
      = pmc$mak_mainframe_identifier =
        mainframe_identifier: pmt$mainframe_id,
      = pmc$mak_microsecond_clock =
        microsecond_clock: integer,
      = pmc$mak_page_size =
        page_size: ost$page_size,
      = pmc$mak_total_processors =
        total_processors: pmt$number_of_processors,
      = pmc$mak_vector_capability =
        vector_capability: pmt$vector_capability,
      = pmc$mak_vectors_degraded =
        vectors_degraded: pmt$vector_degrade_state,
      = pmc$mak_vector_simulation =
        vector_simulation: pmt$vector_simulation,
      = pmc$mak_null_attribute = { This is unused. It is here for
        null_attribute: ost$name, { compatibility for future variants.
      casend,
    recend;

*copyc ost$name
*copyc ost$page_size
*copyc pmt$mainframe_attribute_keys
*copyc pmt$mainframe_id
*copyc pmt$number_of_processors
*copyc pmt$vector_capability
*copyc pmt$vector_degrade_state
*copyc pmt$vector_simulation
