(module
  (import "old" "nargs" (func (result i32)))
  (func (export "the_entrypoint"))
)