;;; TOOL: run-interp
(module
  (import "spectest" "print" (func $imported (result i32)))

  (func (export "f") (result i32)
    i32.const 13
    call $imported
    i32.add))
(;; STDOUT ;;;
called host spectest.print() => i32:0
f() => i32:13
;;; STDOUT ;;)