pub const DEBUG_MANSTR_NONE: u32 = 0u32;