pub const DEBUG_REGSRC_DEBUGGEE: u32 = 0u32;