Constant ERROR_WMI_SERVER_UNAVAILABLE 

pub const ERROR_WMI_SERVER_UNAVAILABLE: u32 = 4208;