DEBUGGER
#define DEBUGGER printf("file = %s, line = %d\n",__FILE__,__LINE__);Debugger()
#define DEBUGGER panic("file = %s, line = %d",__FILE__,__LINE__);
#define DEBUGGER
#define DEBUGGER(t,f) do { kdb_trap(t,f); } while (0)
#define DEBUGGER(t,f) Debugger()
#define DEBUGGER(t,f)