  TYPE
    pmt$number_of_processors = 0 .. pmc$maximum_processor_number;

  CONST
    pmc$maximum_processor_number = 15;

