
{ This record describe the current state of the system.

  TYPE
    mtt$nosve_control_status = RECORD
      idle_state: mtt$idle_state,
      step_state: mtt$step_state,
      term_or_restart_section: mtt$term_or_restart_section,
    RECEND,

{ Describe the possible IDLE and STEP states of the system, and the section in the
{ STEP sequence which is being executed within the procedure MTP$STEP_UNSTEP_SYSTEM.

    mtt$idle_state = (mtc$system_not_idle, mtc$idle_system_in_progress,
          mtc$resume_system_in_progress, mtc$system_idle),
    mtt$step_state = (mtc$system_not_stepped, mtc$system_is_stepping,
          mtc$system_is_unstepping, mtc$system_stepped),
    mtt$term_or_restart_section = (mtc$trs_system_ready_to_step, mtc$trs_step_processors,
          mtc$trs_idle_processors, mtc$trs_stepped_system, mtc$trs_system_ready_to_unstep,
          mtc$trs_unstep_processors, mtc$trs_clean_up_prev_term);

