svoid playAudioFile(File f) {
  if (fileHasExtension(f, "mp3"))
    playMp3(f);
  else if (fileHasExtension(f, "wav"))
    playWAV(f);
  else
    fail("Can't play audio file: " + f2s(f));
}