#define DOCSTRING "\n\
\n\
 Reads a polyhedron file on stdin, counts the rows, and outputs \n\
 an equivalent file with a corrected row count.\n\
"

int usage(){ fprintf(stderr,"\n%s\n",rcsid);fprintf(stderr,DOCSTRING);  exit(1); 	}
#define CHECK_HELP   if (argc > 1 && argv[1][0]=='-' && argv[1][1]=='h') usage();