
  PROCEDURE [XREF] nap$sk_write_socket
    (    socket_id: nat$sk_socket_identifier;
         urgent_fag: boolean;
         push_flag: boolean;
         data: 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 ??
