parseInteger     1090 lib/pdf/xpdf/GlobalParams.cc       parseInteger("screenSize", &screenSize, tokens, fileName, line);
parseInteger     1092 lib/pdf/xpdf/GlobalParams.cc       parseInteger("screenDotRadius", &screenDotRadius,
parseInteger      352 lib/pdf/xpdf/GlobalParams.h   void parseInteger(char *cmdName, int *val,