Symbol: WMT_PIN_UART3_TXD