
  PROCEDURE [XREF] nap$sk_receive_from_socket
    (    socket_id: nat$sk_socket_identifier;
         selection_criteria: ^nat$sk_socket_address;
     VAR foreign_socket: nat$sk_socket_address;
     VAR local_ip_address: ^nat$sk_ip_address;
         data { input, output } : nat$data_fragments;
     VAR data_length: integer;
     VAR status: ost$status);

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