Constant WBEM_FLAVOR_MASK_PROPAGATION 

pub const WBEM_FLAVOR_MASK_PROPAGATION: WBEM_FLAVOR_TYPE;