svoid wavToMP3UsingStreamingEncoder(File wav, File mp3) ctex {
  temp WAVDecoder decoder = new(newFileInputStream(wav));
  time "Decode WAV" {
    short[] samples = decodeWAVToMonoSamples(decoder, wav);
  }
  temp StreamingMP3Encoder encoder = new(mp3, decoder.sampleRate);
  encoder.addData(samples);
}