
  PROCEDURE [XREF] nap$sk_send_to_socket
    (    socket_id: nat$sk_socket_identifier;
         local_ip_address: ^nat$sk_ip_address;
         destination_socket: nat$sk_socket_address;
         data: nat$data_fragments;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc nat$data_fragments
*copyc nat$sk_socket_address
*copyc nat$sk_socket_identifier
*copyc ost$status
?? POP ??
