pub const ERROR_WMI_ALREADY_DISABLED: u32 = 4212; // 4_212u32