Constant ERROR_WMI_GUID_NOT_FOUND 

pub const ERROR_WMI_GUID_NOT_FOUND: WIN32_ERROR = 4200u32;