static void playWAVSnippet(S snippetID) {
  playWAVAndWait(loadWAVSnippet(snippetID));
}