(module
 (type $none_=>_i64 (func (result i64)))
 (type $i32_=>_none (func (param i32)))
 (type $i64_=>_none (func (param i64)))
 (type $i32_i32_=>_none (func (param i32 i32)))
 (type $none_=>_i32 (func (result i32)))
 (import "env" "imported" (func $imported (result i64)))
 (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
 (import "env" "invoke_vj" (func $legalimport$invoke_vj (param i32 i32)))
 (export "func" (func $func))
 (export "dynCall_foo" (func $legalstub$dyn))
 (func $func (result i64)
  (drop
   (call $imported)
  )
  (call $legalfunc$invoke_vj
   (i64.const 0)
  )
  (unreachable)
 )
 (func $dyn (result i64)
  (drop
   (call $imported)
  )
  (unreachable)
 )
 (func $legalstub$dyn (result i32)
  (local $0 i64)
  (local.set $0
   (call $dyn)
  )
  (call $setTempRet0
   (i32.wrap_i64
    (i64.shr_u
     (local.get $0)
     (i64.const 32)
    )
   )
  )
  (i32.wrap_i64
   (local.get $0)
  )
 )
 (func $legalfunc$invoke_vj (param $0 i64)
  (call $legalimport$invoke_vj
   (i32.wrap_i64
    (local.get $0)
   )
   (i32.wrap_i64
    (i64.shr_u
     (local.get $0)
     (i64.const 32)
    )
   )
  )
 )
)
(module
)
