1 /* inputint.c: read integers from text files. These routines are only
2 used for debugging and such, so perfect error checking isn't
3 necessary. Public domain. */
5 #include <w2c/config.h>
8 /* Read an integer from the file F, reading past the subsequent end of
14 char buffer
[MAX_INT_LENGTH
]; /* Long enough for anything reasonable. */
17 fgets (buffer
, sizeof (buffer
), f
)