12345678910/* This file is in the public domain. */ extern int comet_main(int argc, const char *argv[]); intmain(int argc, const char *argv[]){ return comet_main(argc, argv);}
