Symbol: DEC_IRQ_TC1