Constant DEBUG_EVENT_CHANGE_DEBUGGEE_STATE 

pub const DEBUG_EVENT_CHANGE_DEBUGGEE_STATE: u32 = 1024u32;