(global v128 (v128.const f64x2 0x1.0p_+1 0x1.0p_+1))