

  TYPE
    ost$monitor_condition = (osc$detected_uncorrected_err,
      osc$not_assigned, osc$short_warning, osc$instruction_spec,
      osc$address_specification, osc$exchange_request, osc$access_violation,
      osc$environment_spec, osc$external_interrupt, osc$page_fault,
      osc$system_call, osc$system_interval_timer, osc$invalid_segment_ring_0,
      osc$out_call_in_return, osc$soft_error, osc$trap_exception),

    ost$monitor_conditions = set OF ost$monitor_condition;

  TYPE
    ost$user_condition = (osc$privileged_instruction,
      osc$unimplemented_instruction, osc$free_flag, osc$process_interval_timer,
      osc$inter_ring_pop, osc$critical_frame_flag, osc$keypoint,
      osc$divide_fault, osc$debug, osc$arithmetic_overflow,
      osc$exponent_overflow, osc$exponent_underflow, osc$fp_significance_loss,
      osc$fp_indefinite, osc$arithmetic_significance, osc$invalid_bdp_data),

    ost$user_conditions = set OF ost$user_condition;
