
  TYPE
    pmt$condition_class = pmc$system_conditions .. pmc$user_defined_condition,

    pmt$propagate_info = record
      scope: (pmc$current_ring, pmc$current_task),
      notify_debug: boolean,
      notify_scl: boolean,
      call_default_handler: boolean,
      propagate_to_parent: boolean,
    recend,

    pmt$internal_condition = record
      case class: pmt$condition_class of
      = pmc$system_conditions =
        system: pmt$system_condition,
        untranslatable_pointer: ost$pva,
      = pmc$block_exit_processing =
        reason: pmt$block_exit_reason,
      = jmc$job_resource_condition =
        job_resource: jmt$job_resource_condition,
      = mmc$segment_access_condition =
        segment_access: mmt$segment_access_condition,
      = ifc$interactive_condition =
        interactive: ift$interactive_condition,
      = pmc$pit_condition =
        ,
      = pmc$user_defined_condition =
        user_defined: pmt$condition_name,
        propagate_info: pmt$propagate_info,
      casend,
    recend;

*copyc PMT$CONDITION
*copyc OSD$VIRTUAL_ADDRESS
