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