
  TYPE
    nlt$tcp_socket_device_status = (nlc$tcp_device_closed, nlc$tcp_device_open,
      nlc$tcp_device_await_confirm, nlc$tcp_device_res_constraint);
