
  TYPE
    nat$file_state = (nac$normal, nac$switch_offered, nac$switch_completed,
      nac$simulated_connection_broken, nac$nominal_conn_switch_offer,
      nac$connection_terminated, nac$terminated_nominal_connect,
      nac$system_recovery, nac$nominal_normal,
      nac$system_recovery_switched, nac$system_recovery_switchd_nom);
