static float wavSampleRate(File f) {
  temp WAVDecoder decoder = new(fileInputStream(f));
  ret decoder.sampleRate;
}