PNMInteger        291 coders/pnm.c           (void) PNMInteger(image,10);
PNMInteger        292 coders/pnm.c         image->columns=PNMInteger(image,10);
PNMInteger        293 coders/pnm.c         image->rows=PNMInteger(image,10);
PNMInteger        299 coders/pnm.c           max_value=PNMInteger(image,10);
PNMInteger        396 coders/pnm.c                       index=!PNMInteger(image,2);
PNMInteger        449 coders/pnm.c                       intensity=PNMInteger(image,10);
PNMInteger        504 coders/pnm.c                       pixel.red=PNMInteger(image,10);
PNMInteger        505 coders/pnm.c                       pixel.green=PNMInteger(image,10);
PNMInteger        506 coders/pnm.c                       pixel.blue=PNMInteger(image,10);