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