
  PROCEDURE [XREF] jmp$handle_logout_flag ( flaf_id: ost$system_flag);

?? PUSH (LISTEXT := ON) ??
*copyc OST$SYSTEM_FLAG
?? POP ??
