Symbol: IRQ_UART2