
  PROCEDURE [XREF] nap$se_disconnect_handler
    (    originator: ost$global_task_id;
         signal: pmt$signal);

?? PUSH (LISTEXT := ON) ??
*copyc ost$global_task_id
*copyc pmt$signal
?? POP ??
