Constant WBEM_FLAG_STORE_FILE 

pub const WBEM_FLAG_STORE_FILE: WBEM_COMPILER_OPTIONS = 0x100;