
  TYPE
    pmt$task_state = (pmc$task_active, pmc$program_exiting,
      pmc$program_aborting, pmc$debug_ending, pmc$task_terminating),

    pmt$program_termination_mode = pmc$program_exiting .. pmc$program_aborting;
