Symbol: IRQ_TIMER