 PROCEDURE [XREF] jmp$clear_operator_event;
