sS cheetah_demo_recognize16KWAV(File wav) {
  File dir = assertNotNull("Cheetah dir not set", cheetah_dir());
  File exe = newFile(dir, "cheetah_demo");
  assertFileExists(exe);
  ret backtick(f2s(exe) + " "
    + f2s(newFile(dir, "lib/linux/x86_64/libpv_cheetah.so")) + " "
    + f2s(newFile(dir, "lib/common/acoustic_model.pv")) + " "
    + f2s(newFile(dir, "lib/common/language_model.pv")) + " "
    + f2s(newFile(dir, "resources/license/cheetah_eval_linux_public.lic")) + " "
    + f2s(wav));
}

sS cheetah_demo_recognize16KWAV(S wav) {
  ret cheetah_demo_recognize16KWAV(newFile(wav));
}