static double lengthOfWAVInSeconds(File wavFile) {
  if (!fileExists(wavFile)) ret 0;
  temp WAVDecoder decoder = new(wavFile);
  new short[] s;
  int n = 0;
  while (decoder.readMonoSamples(s) != 0) ++n;
  ret n/decoder.sampleRate;
}