pub const DBGPROP_INFO_DEBUGPROP: DBGPROP_INFO = 16i32;