;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/stack.wast (;; STDOUT ;;; 3/3 tests passed. ;;; STDOUT ;;)