Update v128.const text formats (#1934)

Parse the formats allowed by the spec proposal and emit the i32x4
canonical format.

1 files changed, 414 insertions, 414 deletions

diff --git a/test/binaryen.js/kitchen-sink.js.txt b/test/binaryen.js/kitchen-sink.js.txt
index ae9e90509..83e3eee20 100644
--- a/test/binaryen.js/kitchen-sink.js.txt
+++ b/test/binaryen.js/kitchen-sink.js.txt
@@ -322,137 +322,137 @@ getExpressionInfo(f64.const)={"id":14,"type":4,"value":9.5}
       )
       (drop
        (v128.not
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.abs
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.sqrt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.abs
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.sqrt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.trunc_sat_f32x4_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.trunc_sat_f32x4_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.trunc_sat_f64x2_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.trunc_sat_f64x2_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.convert_i32x4_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.convert_i32x4_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.convert_i64x2_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.convert_i64x2_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
@@ -649,610 +649,610 @@ getExpressionInfo(f64.const)={"id":14,"type":4,"value":9.5}
       )
       (drop
        (i8x16.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.lt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.lt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.gt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.gt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.le_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.le_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.ge_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.ge_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.lt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.lt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.gt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.gt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.le_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.le_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.ge_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.ge_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.lt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.lt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.gt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.gt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.le_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.le_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.ge_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.ge_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.lt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.gt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.le
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.ge
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.ge
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.lt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.gt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.le
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.ge
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (
-       (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+       (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
       )
       (
-       (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+       (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
       )
       (
-       (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+       (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
       )
       (drop
        (i8x16.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.add_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.add_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.sub_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.sub_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.add_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.add_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.sub_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.sub_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.div
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.min
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.max
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.div
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.min
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.max
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.extract_lane_s 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.extract_lane_u 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.extract_lane_s 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.extract_lane_u 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 42)
        )
       )
       (drop
        (i8x16.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 42)
        )
       )
       (drop
        (i32x4.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 42)
        )
       )
       (drop
        (i64x2.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i64.const 184683593770)
        )
       )
       (drop
        (f32x4.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (f32.const 42)
        )
       )
       (drop
        (f64x2.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (f64.const 42)
        )
       )
       (drop
        (i8x16.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i8x16.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i8x16.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i16x8.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i16x8.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i16x8.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i32x4.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i32x4.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i32x4.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i64x2.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i64x2.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i64x2.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (v8x16.shuffle 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (v128.bitselect
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (memory.init 0
@@ -3644,137 +3644,137 @@ getExpressionInfo(f64.const)={"id":14,"type":4,"value":9.5}
       )
       (drop
        (v128.not
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.any_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.all_true
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.abs
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.sqrt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.abs
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.neg
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.sqrt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.trunc_sat_f32x4_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.trunc_sat_f32x4_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.trunc_sat_f64x2_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.trunc_sat_f64x2_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.convert_i32x4_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.convert_i32x4_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.convert_i64x2_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.convert_i64x2_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
@@ -3971,610 +3971,610 @@ getExpressionInfo(f64.const)={"id":14,"type":4,"value":9.5}
       )
       (drop
        (i8x16.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.lt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.lt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.gt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.gt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.le_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.le_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.ge_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.ge_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.lt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.lt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.gt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.gt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.le_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.le_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.ge_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.ge_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.lt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.lt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.gt_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.gt_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.le_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.le_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.ge_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.ge_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.eq
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.lt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.gt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.le
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.ge
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.ge
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.ne
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.lt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.gt
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.le
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.ge
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (
-       (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+       (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
       )
       (
-       (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+       (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
       )
       (
-       (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+       (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
       )
       (drop
        (i8x16.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.add_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.add_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.sub_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.sub_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.add_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.add_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.sub_saturate_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.sub_saturate_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.div
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.min
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.max
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.add
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.sub
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.mul
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.div
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.min
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.max
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.extract_lane_s 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i8x16.extract_lane_u 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.extract_lane_s 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.extract_lane_u 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i32x4.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i64x2.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f32x4.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (f64x2.extract_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (i16x8.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 42)
        )
       )
       (drop
        (i8x16.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 42)
        )
       )
       (drop
        (i32x4.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 42)
        )
       )
       (drop
        (i64x2.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i64.const 184683593770)
        )
       )
       (drop
        (f32x4.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (f32.const 42)
        )
       )
       (drop
        (f64x2.replace_lane 1
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (f64.const 42)
        )
       )
       (drop
        (i8x16.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i8x16.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i8x16.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i16x8.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i16x8.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i16x8.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i32x4.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i32x4.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i32x4.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i64x2.shl
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i64x2.shr_s
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (i64x2.shr_u
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
         (i32.const 1)
        )
       )
       (drop
        (v8x16.shuffle 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (drop
        (v128.bitselect
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
-        (v128.const i32 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
+        (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
        )
       )
       (memory.init 0