#ifndef __PANIC_H__

#define kpanic(x) printf("panic: %s\n", x); while(1);

#endif // __PANIC_H__