Symbol: WMT_PIN_UART1TXD