KEYBOARD_HANDLER_COOKIE_FLAG_DEBUGGER
if ((*cookie & KEYBOARD_HANDLER_COOKIE_FLAG_DEBUGGER) != 0)
&& (*cookie & KEYBOARD_HANDLER_COOKIE_FLAG_DEBUGGER)
*cookie |= KEYBOARD_HANDLER_COOKIE_FLAG_DEBUGGER;