;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/start.wast
(;; STDOUT ;;;
out/test/spec/start.wast:2: assert_invalid passed:
  out/test/spec/start/start.0.wasm:0000015: error: function variable out of range: 1 (max 1)
  0000015: error: OnStartFunction callback failed
out/test/spec/start.wast:7: assert_invalid passed:
  out/test/spec/start/start.1.wasm:0000016: error: start function must not return anything
  0000016: error: OnStartFunction callback failed
out/test/spec/start.wast:14: assert_invalid passed:
  out/test/spec/start/start.2.wasm:0000016: error: start function must be nullary
  0000016: error: OnStartFunction callback failed
inc() =>
inc() =>
inc() =>
inc() =>
called host spectest.print_i32(i32:1) =>
called host spectest.print_i32(i32:2) =>
called host spectest.print() =>
out/test/spec/start.wast:103: assert_malformed passed:
  out/test/spec/start/start.9.wat:1:69: error: multiple start sections
  (module (func $a (unreachable)) (func $b (unreachable)) (start $a) (start $b))
                                                                      ^^^^^
20/20 tests passed.
;;; STDOUT ;;)