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