(module
  (type (;0;) (func))
  (type (;1;) (func (param i32 i32) (result i32)))
  (type (;2;) (func (param i32)))
  (import "env" "foo" (func $foo (;0;) (type 0)))
  (func $i32.add (;1;) (type 1) (param i32 i32) (result i32)
    local.get 0
    local.get 1
    i32.add
  )
  (func (;2;) (type 2) (param $arg i32)
    (local $tmp i32)
    global.get $counter
    i32.const 1
    i32.add
    local.tee $tmp
    global.set $counter
    local.get $tmp
    local.get $arg
    global.get 1
    i32.const 4
    i32.add
    global.set 1
    global.get 1
    i32.const 1024
    i32.gt_u
    if  ;; label = @1
      unreachable
    end
    call $i32.add
    global.get 1
    i32.const 4
    i32.sub
    global.set 1
    drop
  )
  (func (;3;) (type 1) (param i32 i32) (result i32)
    local.get 0
    local.get 1
    global.get 1
    i32.const 4
    i32.add
    global.set 1
    global.get 1
    i32.const 1024
    i32.gt_u
    if  ;; label = @1
      unreachable
    end
    call $i32.add
    global.get 1
    i32.const 4
    i32.sub
    global.set 1
  )
  (global $counter (;0;) (mut i32) i32.const 1)
  (global (;1;) (mut i32) i32.const 0)
  (export "i32.add" (func 3))
)