Implement Ada.Interrupts