pub const ERROR_WMI_SERVER_UNAVAILABLE: u32 = 4208; // 4_208u32