pub const DEBUG_MANRESET_DEFAULT: u32 = 0u32;