Symbol: WMT_PIN_UART0TXD