static void playWAV(File f) {
  playWAVAndWait(f);
}