DEBUGGER
#define DEBUGGER(func, string) kdb_enter(KDB_WHY_MAC, (string))
#define DEBUGGER(func, string) printf("mac_test: %s: %s\n", (func), (string))