
  PROCEDURE [XREF] pmp$kill_task_flag_handler
    (    flag_id: ost$system_flag);

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