(module
 (type $0 (func (param i32) (result i32)))
 (type $1 (func (result i32)))
 (memory $0 1)
 (export "memory" (memory $0))
 (export "f1" (func $0))
 (export "f2" (func $1))

 (func $0 (result i32)
  (block (result i32)
    (i32.store (i32.const 0) (memory.grow (i32.const 1)))
    (i32.load (i32.const 0))
  )
 )

 (func $1 (result i32)
  (block (result i32)
    (i32.store (i32.const 0) (call $grow))
    (i32.load (i32.const 0))
  )
 )

 (func $grow (result i32)
  (memory.grow (i32.const 1))
 )
)


(assert_return (invoke "f1") (i32.const 1))
(assert_return (invoke "f2") (i32.const 2))