;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/names.wast
(;; STDOUT ;;;
called host spectest.print_i32(i32:42) =>
called host spectest.print_i32(i32:123) =>
486/486 tests passed.
;;; STDOUT ;;)