// times are in seconds
static short[] extractMonoSamplesFromWAV(File wavFile, double startTime, double endTime) ctex {
  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);
}