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