
  TYPE
    pmt$processor_serial_number = string (pmc$processor_serial_num_size);

  CONST
    pmc$processor_serial_num_size = 4;
