
  TYPE
    nlt$udp_receiver_task = record
      next_entry: ^nlt$udp_receiver_task,
      task_id: ost$global_task_id,
      end_of_message: boolean,
      CASE receive_type: nlt$udp_receive_type OF
      = nlc$udp_receive_data =
        activity_status: ^ost$activity_status,
        interface_mode: nat$sk_interface_mode,
        original_receive_buffer: ^nat$data_fragments,
        original_buffer_length: integer,
        selection_criteria: nat$sk_socket_address,
        receive_buffer: ^nat$data_fragments,
        buffer_length: integer,
        received_data_length: ^integer,
        device_id: ^nlt$device_identifier,
        connection_id: nat$connection_id,
        foreign_socket: ^nat$sk_socket_address,
        local_ip_address: ^nat$sk_ip_address,
      = nlc$udp_await_data_available =
        activity_complete: ^boolean,
        receiver_active: boolean,
      CASEND,
    recend;

*copyc nat$connection_id
*copyc nat$data_fragments
*copyc nat$sk_interface_mode
*copyc nat$sk_ip_address
*copyc nat$sk_socket_address
*copyc nlt$device_identifier
*copyc nlt$udp_receive_type
*copyc ost$activity_status
*copyc ost$global_task_id
