swappable svoid playMp3(File mp3, O... _) ctex {
  if (!isJavaSoundOnly() && isLinux() && onPATH("play")) {
    //print("Playing MP3 (`play`)...");
    Number gain = cast optPar gain(_);
    S output = backtick(print("> ", "play --magic " + (gain == null ? "" : "-v " + toDouble(gain) + " ")
      + bashQuote(mp3)));
    if (cic(output, "no handler for file extension"))
      print(output);
    else
      ret;
  }
  playMp3_javaSound_basicPlayer(mp3, _);
}

svoid playMp3(S snippetID) {
  playMp3(loadLibrary(snippetID));
}

Began life as a copy of #1001095