
  PROCEDURE [XREF] osp$initialize_virtual_system
    (    deadstart_phase: ost$deadstart_phase);

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