
  PROCEDURE [XREF] jmp$initialize_ssn
    (    deadstart_phase: ost$deadstart_phase;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc ost$deadstart_phase
*copyc ost$status
?? POP ??
