
  PROCEDURE [XREF] pmp$terminate_flag_handler (flag_id: ost$system_flag);
?? PUSH (LISTEXT := ON) ??
*copyc OST$SYSTEM_FLAG
?? POP ??
