
  TYPE
    nlt$na_connection_state = (nlc$na_connection_closed, nlc$na_connection_open,
         nlc$na_await_connection_confirm);
