
{ The mainframe identifier is of the form $SYSTEM_MMMM_NNNN where MMMM is
{ the model number number of CPU 0 and NNNN is the serial number of cpu 0.

  TYPE
    pmt$mainframe_id = STRING (pmc$mainframe_id_size);

  CONST
    pmc$mainframe_id_size = 9 + pmc$processor_model_number_size +
          pmc$processor_serial_num_size;

  CONST
    pmc$null_mainframe_id = '$SYSTEM_0000_0000';

*copyc pmt$processor_model_number
*copyc pmt$processor_serial_number
