void die(const char *, ...);