static void playMp3(File mp3, O... _) ctex {
  if (!isJavaSoundOnly() && isLinux() && onPATH("play")) {
    print("Playing MP3 (`play`)...");
    Number gain = cast optPar gain(_);
    S output = backtick("play " + (gain == null ? "" : "-v " + toDouble(gain) + " ")
      + 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));
}