(module
 (type $FUNCSIG$j (func (result i64)))
 (type $FUNCSIG$vi (func (param i32)))
 (type $FUNCSIG$i (func (result i32)))
 (type $legaltype$imported (func (result i32)))
 (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
 (import "env" "getTempRet0" (func $getTempRet0 (result i32)))
 (import "env" "imported" (func $legalimport$imported (result i32)))
 (export "func" (func $legalstub$func))
 (export "imported" (func $legalstub$imported))
 (export "imported_again" (func $legalstub$imported))
 (func $func (; 3 ;) (type $FUNCSIG$j) (result i64)
  (drop
   (call $legalfunc$imported)
  )
  (unreachable)
 )
 (func $legalstub$func (; 4 ;) (result i32)
  (local $0 i64)
  (local.set $0
   (call $func)
  )
  (call $setTempRet0
   (i32.wrap_i64
    (i64.shr_u
     (local.get $0)
     (i64.const 32)
    )
   )
  )
  (i32.wrap_i64
   (local.get $0)
  )
 )
 (func $legalstub$imported (; 5 ;) (result i32)
  (local $0 i64)
  (local.set $0
   (call $legalfunc$imported)
  )
  (call $setTempRet0
   (i32.wrap_i64
    (i64.shr_u
     (local.get $0)
     (i64.const 32)
    )
   )
  )
  (i32.wrap_i64
   (local.get $0)
  )
 )
 (func $legalfunc$imported (; 6 ;) (result i64)
  (i64.or
   (i64.extend_i32_u
    (call $legalimport$imported)
   )
   (i64.shl
    (i64.extend_i32_u
     (call $getTempRet0)
    )
    (i64.const 32)
   )
  )
 )
)
(module
)