pub const DEBUG_EXECUTE_HOTKEY: u32 = 1024u32;