Symbol: UART4_K