1(module
2  (func (export "hi") (result v128)
3    (local $i v128)
4    v128.const i64x2 0xfa2675c080000000 0xe8a433230a7479e5
5    local.set $i
6    local.get $i
7    local.get $i
8    local.get $i
9    i32x4.min_s
10    i32x4.lt_s
11  )
12
13)
14