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