
  TYPE
    nlt$udp_global_socket_status = (nlc$udp_global_socket_closed, nlc$udp_global_socket_open,
      nlc$udp_global_socket_unbound, nlc$udp_global_socket_offered, nlc$udp_global_socket_term);

