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