
  PROCEDURE [XREF] jmp$terminate_job_flag_handler
    (    flag_id: ost$system_flag);

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

