Constant WMIExtension 

pub const WMIExtension: GUID;