void fail(const char *format, ...);