void error_exit(char *file, const char *function, int line, char *format, ...);