static void playMp3(File mp3) ctex {
  playWAVAndWait(mp3);

}

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