Insert checking pragma Interrupt_Handler into Ada.Interrupts, pass CXC3001