// Error handling

void ERR_failinit(char *,...);
void ERR_fatal(char *,...);
void ERR_quit(void);