(module
 (type $0 (func (result i32 i64)))
 (type $1 (func))
 (type $2 (func (result i64)))
 (type $3 (func (result f32 i64 i32)))
 (type $4 (func (result i32 i64 externref)))
 (type $5 (func (result i32 i64 f32)))
 (type $6 (func (result i32)))
 (type $7 (func (result f32)))
 (import "env" "pair" (func $pair (type $0) (result i32 i64)))
 (global $g1 (mut (i32 i64)) (tuple.make
  (i32.const 0)
  (i64.const 0)
 ))
 (global $g2 (i32 i64) (tuple.make
  (i32.const 0)
  (i64.const 0)
 ))
 (func $triple (type $5) (result i32 i64 f32)
  (tuple.make
   (i32.const 42)
   (i64.const 7)
   (f32.const 13)
  )
 )
 (func $get-first (type $6) (result i32)
  (tuple.extract 0
   (call $triple)
  )
 )
 (func $get-second (type $2) (result i64)
  (tuple.extract 1
   (call $triple)
  )
 )
 (func $get-third (type $7) (result f32)
  (tuple.extract 2
   (call $triple)
  )
 )
 (func $reverse (type $3) (result f32 i64 i32)
  (local $x (i32 i64 f32))
  (local.set $x
   (call $triple)
  )
  (tuple.make
   (tuple.extract 2
    (local.get $x)
   )
   (tuple.extract 1
    (local.get $x)
   )
   (tuple.extract 0
    (local.get $x)
   )
  )
 )
 (func $unreachable (type $2) (result i64)
  (tuple.extract 1
   (tuple.make
    (i32.const 42)
    (i64.const 7)
    (unreachable)
   )
  )
 )
 (func $global (type $0) (result i32 i64)
  (global.set $g1
   (tuple.make
    (i32.const 42)
    (i64.const 7)
   )
  )
  (global.get $g2)
 )
 (func $drop-call (type $1)
  (drop
   (call $pair)
  )
 )
 (func $drop-tuple-make (type $1)
  (drop
   (tuple.make
    (i32.const 42)
    (i64.const 42)
   )
  )
 )
 (func $drop-block (type $1)
  (drop
   (block $block (result i32 i64)
    (tuple.make
     (i32.const 42)
     (i64.const 42)
    )
   )
  )
 )
 (func $mv-return (type $0) (result i32 i64)
  (return
   (tuple.make
    (i32.const 42)
    (i64.const 42)
   )
  )
 )
 (func $mv-return-in-block (type $0) (result i32 i64)
  (return
   (tuple.make
    (i32.const 42)
    (i64.const 42)
   )
  )
 )
 (func $mv-block-break (type $0) (result i32 i64)
  (block $l (result i32 i64)
   (br $l
    (tuple.make
     (i32.const 42)
     (i64.const 42)
    )
   )
  )
 )
 (func $mv-block-br-if (type $0) (result i32 i64)
  (block $l (result i32 i64)
   (br_if $l
    (tuple.make
     (i32.const 42)
     (i64.const 42)
    )
    (i32.const 1)
   )
  )
 )
 (func $mv-if (type $4) (result i32 i64 externref)
  (if (result i32 i64 externref)
   (i32.const 1)
   (tuple.make
    (i32.const 42)
    (i64.const 42)
    (ref.null noextern)
   )
   (tuple.make
    (i32.const 42)
    (i64.const 42)
    (ref.null noextern)
   )
  )
 )
 (func $mv-loop (type $0) (result i32 i64)
  (loop $loop-in (result i32 i64)
   (tuple.make
    (i32.const 42)
    (i64.const 42)
   )
  )
 )
 (func $mv-switch (type $0) (result i32 i64)
  (block $a (result i32 i64)
   (block $b (result i32 i64)
    (br_table $a $b
     (tuple.make
      (i32.const 42)
      (i64.const 42)
     )
     (i32.const 0)
    )
   )
  )
 )
)