
  TYPE
    pmt$binary_mainframe_id = record
      model_number: ost$processor_model_number,
      serial_number: ost$processor_serial_number,
    recend;

*copyc ost$processor_model_number
*copyc ost$processor_serial_number
