;;; TOOL: wast2json
(module
  (export "f" (func 0))
  (func (result i32)
     i32.const 0 
     return))
(assert_return (invoke "f") (i32.const 0))