static void playWAVSnippetAndWait(S snippetID) {
  playWAVSnippet(snippetID);
}