Symbol: DEC_IRQ_TIMER