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