// See www.openfst.org for extensive documentation on this weighted
  // finite-state transducer library.
  
  int fstconcat_main(int argc, char **argv);
  
  int main(int argc, char **argv) { return fstconcat_main(argc, argv); }