// times are in seconds
static short[] extractMonoSamplesFromWAV(File/S wavFile, double startTime, double endTime) ctex {
  if (wavFile == null) null;
  temp WAVDecoder decoder = new(newFileInputStream(wavFile));
  long start = round(startTime*decoder.sampleRate);
  long end = round(endTime*decoder.sampleRate);
  decoder.skipSamples(start);
  ret decodeWAVToMonoSamples(decoder, end-start);
}