test/parse/assert/assert-after-module.txt

;;; FLAGS: --spec
(module
  (export "f" (func 0))
  (func (result i32)
     i32.const 0 
     return))
(assert_return (invoke "f") (i32.const 0))