 TYPE
    nat$connection_state = (nac$connection_request_sent,
      nac$connection_request_received, nac$established, nac$terminated);
