pub const DEBUG_MANAGED_DISABLED: u32 = 0u32;