
  PROCEDURE [XREF] jmp$set_examine_input_event;
