
  TYPE
    pmt$wait_preemptability = set of (pmc$wait, pmc$long_term_wait);

