Symbol: UART4_RX