pub const DEBUG_EXT_PVALUE_DEFAULT: u32 = 0u32;