
  TYPE
    nlt$udp_socket_device_status = (nlc$udp_device_closed, nlc$udp_device_open,
      nlc$udp_device_await_confirm, nlc$udp_device_closing, nlc$udp_device_res_constraint);
