pub const DEBUG_EVENT_CHANGE_SYMBOL_STATE: u32 = 4096u32;