svoid playMP3ThroughWAV(File mp3File) {
  File wavFile = replaceExtension(mp3File, ".wav");
  print("Playing MP3 through WAV: " + wavFile);
  mp3ToWAVUnlessExists(mp3File, wavFile);
  playWAV(wavFile);
}