/* Report an error when trying to write a file. "err" is assumed to be a UNIX-style errno.  */
void report_write_failure(const char *filename, int err)
/* Report an error when trying to write a file. "err" is assumed to be a UNIX-style errno.  */
void report_write_failure(const char *filename, int err)
{
	(*report_write_failure_func)(filename, err);
}