;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/func.wast
;;; SKIP: multi-value not supported yet
(;; STDOUT ;;;
73/73 tests passed.
;;; STDOUT ;;)
