pub const DEBUG_EVENT_CHANGE_DEBUGGEE_STATE: u32 = 1024u32;