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