static void playMp3(File mp3) ctex {
  if (!isJavaSoundOnly() && isLinux() && onPATH("play")) {
    print("Playing MP3 (`play`)...");
    S output = backtick("play " + bashQuote(mp3));
    if (cic(output, "no handler for file extension"))
      print(output);
    else
      ret;
  }
  playMp3_javaSound(mp3);
}

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