  PROCEDURE [XREF] jmp$set_operator_event;
