
  TYPE
    mtt$system_step_update_request = (mtc$unstepped_system, mtc$stepped_system),
    mtt$system_idle_update_request = (mtc$running_system, mtc$idled_system);
