work/bootstrap/gec17.c
void eif_file_tnil(FILE *f) {
	int c;

	errno = 0;
	while ((c = getc(f)) != '\n' && c != EOF)
		;
	if (c == EOF && ferror(f))
		eise_io("FILE: error during reading the end of the file.");
}
/*
 * Read upto next input line.
 */
Read upto next input line.
Read upto next input line .
void eif_file_tnil(FILE *f) {
	int c;
	errno = 0;
	while ((c = getc(f)) != '\n' && c != EOF)
		;
	if (c == EOF && ferror(f))
		eise_io("FILE: error during reading the end of the file.");
}
void eif_file_tnil ( FILE * f ) { int c ; errno = 0 ; while ( ( c = getc ( f ) ) != ' \n ' && c != EOF ) ; if ( c == EOF && ferror ( f ) ) eise_io ( " " ) ; }
Read upto next input line.
Read upto next input line .