Constant ERROR_WMI_GUID_NOT_FOUND 

pub const ERROR_WMI_GUID_NOT_FOUND: DWORD = 4200;