Symbol: STD_IRQ