void panic(bool b, int line);