
  TYPE
    pmt$task_termination_action = (pmc$tta_dont_notify_parent_task,
          pmc$tta_ready_parent_task, pmc$tta_flag_parent_task,
          pmc$tta_signal_parent_task);

