static void playWAVAndWait(File wav) {
  playWAV(wav).close();
}