(module
  (import "env" "foo" (func $foo))

  ;; Declare a global.
  (global $counter (mut i32) (i32.const 1))

  (func $i32.add (export "i32.add") (param i32 i32) (result i32)
    get_local 0
	get_local 1
	i32.add
  )
  (func (param $arg i32)
     (local $tmp i32)

     global.get 0
     i32.const 1
     i32.add
	 tee_local $tmp
     global.set $counter

     get_local $tmp
     get_local $arg
     call $i32.add
     drop
  )
)