sS deepspeech(File audioFile) {
  if (isRIFFFileByContent(audioFile) &&
    eq(wavSampleRateAndChannels(audioFile), pair(16000f, 1)))
    // assuming 16 bit
    ret deepspeech_recognize16KWav(audioFile);
    
  File wav = createTempFileWithExtension(".wav");
  temp tempDeleteFile(wav);
  print("Converting " + audioFile + " to 16k WAV");
  ffmpeg_toMonoAudio_16k(audioFile, wav);
  ret deepspeech_recognize16KWav(wav);
}

sS deepspeech(S f) {
  ret deepspeech(newFile(f));
}