
  PROCEDURE [XREF] jmp$reset_activate_event;
