{ DECK: DFT$SERVER_STATE

  TYPE
    dft$server_state = (dfc$active, dfc$deactivated, dfc$inactive,
          dfc$awaiting_recovery, dfc$recovering, dfc$terminated, dfc$deleted),

   dft$server_states = set of dft$server_state;
