
  TYPE
    pmt$system_condition = (pmc$detected_uncorrected_err, pmc$ua_unselectable,
      pmc$sw_unselectable, pmc$instruction_specification,
      pmc$address_specification, pmc$xr_unselectable, pmc$access_violation,
      pmc$environment_specification, pmc$xi_unselectable, pmc$pf_unselectable,
      pmc$sc_unselectable, pmc$sit_unselectable, pmc$invalid_segment_ring_0,
      pmc$out_call_in_return, pmc$sel_unselectable, pmc$tx_unselectable,
      pmc$privileged_instruction, pmc$unimplemented_instruction,
      pmc$ff_unselectable, pmc$pit_unselectable, pmc$inter_ring_pop,
      pmc$cff_unselectable, pmc$kypt_unselectable, pmc$divide_fault,
      pmc$debug_unselectable, pmc$arithmetic_overflow, pmc$exponent_overflow,
      pmc$exponent_underflow, pmc$fp_significance_loss, pmc$fp_indefinite,
      pmc$arithmetic_significance, pmc$invalid_bdp_data),

    pmt$system_conditions = set of pmt$system_condition;
