  PROCEDURE [XREF] jmp$trap_handler;

