{
{ Common deck OST$IDLE_STATE
{ This type describes the possible IDLE_STATES of the system.
{

  TYPE
    ost$idle_state = (osc$system_not_idle, osc$idle_system_in_progress,
          osc$resume_system_in_progress, osc$system_idle);
