void panic(const char *);