volatile void panic(void);