Symbol: uart_r32