static void playMp3(File mp3) ctex {
  if (!javaSoundOnly() && isLinux() && onPATH("play")) {
    print("Playing MP3 (`play`)...");
    backtick("play " + bashQuote(mp3));
    ret;
  }
  playMp3_javaSound(mp3);
}

static void playMp3(S snippetID) {
  playMp3(loadLibrary(snippetID));
}