Symbol: INTR_IRQ