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