I ended up using this code that uses #include <stdio.h>.

   while (1) {
       // Send the ADC buffer over USB
       if (buffer_index >= BUFFER_SIZE) {
           // Send buffer to USB
           for (size_t i = 0; i < BUFFER_SIZE; i++) {
             printf("ADC0: %d, ADC1: %d\n", adc_buffer[i * 2], adc_buffer[i * 2 + 1]);
           }
           buffer_index = 0; // Reset buffer index
       }
       vTaskDelay(pdMS_TO_TICKS(100)); // Adjust delay as needed
   }