int
panic(void);