| ;;; TOOL: run-interp-wasi | |
| ;;; ARGS: --trace | |
| ;;; ERROR: 42 | |
| (import "wasi_snapshot_preview1" "proc_exit" (func $exit (param i32))) | |
| (memory (export "memory") 1) | |
| (func (export "_start") | |
| (call $exit (i32.const 42)) | |
| ) | |
| (;; STDOUT ;;; | |
| #0. 0: V:0 | i32.const 42 | |
| #0. 8: V:1 | call_import $0 | |
| >>> running wasi function "proc_exit": | |
| ;;; STDOUT ;;) |