Symbol: IXP425_INT_TMR0