class IRQ.Interrupt : System.IO.Interrupts.Interrupt;
class IRQ.InterruptController : System.IO.Interrupts.InterruptController;