pub const ERROR_WMI_SERVER_UNAVAILABLE: DWORD = 4208;