#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\
"