pub const DBGPROP_INFO_VALUE: DBGPROP_INFO = 4i32;