
  TYPE
    nlt$tcpaa_event = record
      case kind: nlt$tcpaa_event_kind of
      = nlc$tcpaa_connect_event =
        connect: nlt$tcpaa_connect_event,
      = nlc$tcpaa_connect_confirm_event =
        connect_confirm: nlt$tcpaa_connect_confirm_event,
      = nlc$tcpaa_listen_confirm_event =
        listen_confirm: nlt$tcpaa_listen_confirm_event,
      = nlc$tcpaa_listen_reject_event =
        listen_reject: nlt$tcpaa_listen_reject_event,
      = nlc$tcpaa_data_event =
        data: nlt$tcpaa_data_event,
      = nlc$tcpaa_clear_to_send_event =
        ,
      = nlc$tcpaa_release_event =
        release: nlt$tcpaa_release_event,
      casend,
    recend,

    nlt$tcpaa_connect_event = record
      destination_socket: nat$sk_socket_address,
      source_socket: nat$sk_socket_address,
      device_id: nlt$device_identifier,
    recend,

    nlt$tcpaa_connect_confirm_event = record
      local_port: nat$sk_port_number,
    recend,

    nlt$tcpaa_listen_confirm_event = record
      local_port: nat$sk_port_number,
    recend,

    nlt$tcpaa_listen_reject_event = record
      reason: nlt$tcpaa_release_ind_reason,
    recend,

    nlt$tcpaa_data_event = record
      push_data: boolean,
      urgent_data: boolean,
      data: nlt$bm_message_id,
    recend,

    nlt$tcpaa_release_event = record
      case reason: nlt$tcpaa_release_ind_reason of
      = nlc$tcpaa_ri_network_disconnect =
        cc_disconnect_reason: nlt$cc_disconnect_reason,
      casend,
    recend;

*copyc nat$sk_socket_address
*copyc nlt$bm_message_id
*copyc nlt$cc_interface
*copyc nlt$device_identifier
*copyc nlt$tcpaa_event_kind
*copyc nlt$tcpaa_release_ind_reason
