svoid soundSourceToWAV(double maxSeconds, VF1<double[]> soundSource, File wavFile) {
  multiShortArraysToWAVE(soundSourceToShortArrays(maxSeconds, soundSource), wavFile);
}