Symbol: PIC32_UART_TX