Symbol: uart_in32