work/bootstrap/gec17.c
EIF_INTEGER eif_file_gss(FILE* f, char* s, EIF_INTEGER bound) {
	size_t amount = fread(s, sizeof(char), (size_t) bound, f);

	if (ferror(f)) {	/* An I/O error occurred */
		eise_io("FILE: unable to read stream.");					/* Raise exception */
	}

	return (EIF_INTEGER) amount;	/* Number of characters read */
}
/*
 * Read min (bound, remaining bytes in file) characters into `s' and
 * return the number of characters read.
 */
Read min (bound, remaining bytes in file) characters into `s' and
return the number of characters read.
Read min ( bound remaining bytes in file ) characters into ` s ' and return the number of characters read .
EIF_INTEGER eif_file_gss(FILE* f, char* s, EIF_INTEGER bound) {
	size_t amount = fread(s, sizeof(char), (size_t) bound, f);
	if (ferror(f)) {	
		eise_io("FILE: unable to read stream.");					
	}
	return (EIF_INTEGER) amount;	
}
EIF_INTEGER eif_file_gss ( FILE * f , char * s , EIF_INTEGER bound ) { size_t amount = fread ( s , sizeof ( char ) , ( size_t ) bound , f ) ; if ( ferror ( f ) ) { eise_io ( " " ) ; } return ( EIF_INTEGER ) amount ; }
Read min (bound, remaining bytes in file) characters into `s' and
 return the number of characters read.
Read min ( bound remaining bytes in file ) characters into ` s ' and return the number of characters read .
/* An I/O error occurred */ /* Raise exception */ /* Number of characters read */