
  PROCEDURE [XREF] nap$sk_read_socket
    (    socket_id: nat$sk_socket_identifier;
     VAR urgent_flag: boolean;
         data { input, output } : nat$data_fragments;
     VAR data_transferred: integer;
     VAR status: ost$status);

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