(module
  (func $hello (import "" "hello"))
  (func (export "run") (call $hello))
)