(module
 (import "env" "hello" (func $hello (result i32)))
 (import "env" "hs_init" (func $hs-init (param i32 i32)))
 (func (export "call-hello") (result i32)
       (call $hs-init (i32.const 0) (i32.const 0))
       (call $hello)))