pub const DEBUG_EXT_PVTYPE_IS_POINTER: u32 = 1u32;