Constant WBEM_FLAG_WMI_CHECK 

pub const WBEM_FLAG_WMI_CHECK: WBEM_COMPILER_OPTIONS;