
  TYPE
    nlt$udp_global_socket = record
      next_entry: ^nlt$udp_global_socket,
      lock: ost$signature_lock,
      identifier: nlt$udp_global_socket_id,
      time_stamp: ost$free_running_clock,
      status: nlt$udp_global_socket_status,
      local_socket_id: nat$sk_socket_identifier,
      port: nat$sk_port_number,
      traffic_pattern: nat$sk_traffic_pattern,
      broadcast_enabled: boolean,
      bound_address: nat$sk_ip_address,
      active_receiver: ^nlt$udp_active_receiver,
      receive_wait_queue: ^nlt$udp_receiver_task,
      available_receiver_pool: ^nlt$udp_receiver_task,
      available_message_pool_size: 0 .. 0ffff(16),
      available_message_pool: ^nlt$udp_received_message,
      active_device_count: nlt$device_count,
      waiting_task_id: ost$global_task_id,
      last_receiving_device: nlt$device_identifier,
      device_list: nlt$udp_socket_device_list,
    recend;

*copyc nat$sk_ip_address
*copyc nat$sk_port_number
*copyc nat$sk_socket_address
*copyc nat$sk_socket_identifier
*copyc nat$sk_traffic_pattern
*copyc nlt$device_count
*copyc nlt$device_identifier
*copyc nlt$udp_active_receiver
*copyc nlt$udp_global_socket
*copyc nlt$udp_global_socket_id
*copyc nlt$udp_global_socket_status
*copyc nlt$udp_received_message
*copyc nlt$udp_receiver_task
*copyc nlt$udp_socket_device_list
*copyc ost$free_running_clock
*copyc ost$global_task_id
*copyc ost$signature_lock
