<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_hv8251fte25birpg33dgsgjej6, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// optional parameter: bool useKnownPlaces
sS deepspeech(File audioFile, O... _) {
  if (isRIFFFileByContent(audioFile) &&
    eq(wavSampleRateAndChannels(audioFile), pair(16000f, 1)))
    // assuming 16 bit
    ret deepspeech_recognize16KWav(audioFile, _);
    
  optPar bool useKnownPlaces;
  File wav = useKnownPlaces ? javaxCachesDir("16k-for-deepspeech.wav") : createTempFileWithExtension(".wav");
  temp useKnownPlaces ? null : 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));
}