*/
/* INCLUDES ******************************************************************/
+
#include <w32k.h>
+#define NDEBUG
+#include <debug.h>
+
/* GLOBALS *******************************************************************/
/* Currently active desktop */