Constant WBEM_FLAVOR_AMENDED 

pub const WBEM_FLAVOR_AMENDED: WBEM_FLAVOR_TYPE = 0x80;