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