;; this is a polyfill module that translates from wasi-preview1 to a different
;; interface

(module
  (import "foo:foo/my-wasi" "proc-exit" (func $proc_exit (param i32)))
  (func (export "proc_exit") (param i32)
    local.get 0
    call $proc_exit
  )
)