LBUFLEN
EXT char buf[LBUFLEN+1]; /* general purpose line buffer */
(void)fgets(&line[strlen(line)], (int)(LBUFLEN-strlen(line)), stdin);
if (fgets(line, LBUFLEN, stdin) == NULL) {
static char line[LBUFLEN];