
  TYPE
    nlt$udp_connection_state = (nlc$udp_conn_closed, nlc$udp_conn_open,
      nlc$udp_conn_await_confirm);
