Constant ERROR_WMI_ALREADY_DISABLED 

pub const ERROR_WMI_ALREADY_DISABLED: DWORD = 4212;