
  TYPE
    nlt$tcp_connection_state = (nlc$tcp_conn_closed, nlc$tcp_conn_open,
      nlc$tcp_conn_await_confirm, nlc$tcp_conn_await_accept, nlc$tcp_conn_offered,
      nlc$tcp_conn_terminated, nlc$tcp_conn_closing);

