src/stdlib/fileops.c
/*======================================================
 * do_checked_fwrite -- fwrite, and report & exit if fails
 *  filename may be null (only used for error message)
 *====================================================*/
- fwrite, and report & exit if fails
filename may be null (only used for error message)
- fwrite and report & exit if fails filename may be null ( only used for error message )
int
do_checked_fflush (FILE *fp, STRING filename, STRING srcfile, int srcline)
{
	INT rtn = fflush(fp);
	if (rtn != 0) {
		report_fatal_fileop("fflush", rtn, filename, srcfile, srcline); 
	}
	return rtn;
}
int do_checked_fflush ( FILE * fp , STRING filename , STRING srcfile , int srcline ) { INT rtn = fflush ( fp ) ; if ( rtn != 0 ) { report_fatal_fileop ( " " , rtn , filename , srcfile , srcline ) ; } return rtn ; }
do_checked_fwrite -- fwrite, and report & exit if fails
  filename may be null (only used for error message)
do_checked_fwrite -- fwrite and report & exit if fails filename may be null ( only used for error message )
/* exits */