Constant DEBUG_EXECUTE_HOTKEY

pub const DEBUG_EXECUTE_HOTKEY: u32 = 1024u32;