;;; TOOL: run-spec-wasm2c
(module)
(;; STDOUT ;;;
0/0 tests passed.
;;; STDOUT ;;)

;; To be replaced with below after reference types land
;; ;;; TOOL: run-spec-wasm2c
;; ;;; STDIN_FILE: third_party/testsuite/proposals/exception-handling/imports.wast
;; ;;; ARGS*: --enable-exceptions
;; (;; STDOUT ;;;
;; spectest.print_i32(13)
;; spectest.print_i32_f32(14 42)
;; spectest.print_i32(13)
;; spectest.print_i32(13)
;; spectest.print_f32(13)
;; spectest.print_i32(13)
;; spectest.print_f64_f64(25 53)
;; spectest.print_f64(24)
;; spectest.print_f64(24)
;; spectest.print_f64(24)
;; spectest.print_i32(13)
;; 34/34 tests passed.
;; ;;; STDOUT ;;)
