Symbol: UART4_TX