pub const ERROR_SVHDX_ERROR_NOT_AVAILABLE: i32 = 0xC05CFF00; // -1_067_647_232i32