(global v128 (v128.const f64x2 1__000 1__000))