(module
 (type $0 (func (param i32 i32) (result i32)))
 (type $1 (func (param i32)))
 (type $2 (func (param i32 i64 f32 f64)))
 (type $3 (func (param i32 f32 f64)))
 (type $4 (func (param i32 f32 f64) (result i64)))
 (type $FUNCSIG$vi (func (param i32)))
 (import "env" "setTempRet0" (func $setTempRet0 (param i32)))
 (memory $0 256 256)
 (export "add" (func $add))
 (export "no_return" (func $no-return))
 (export "types" (func $legalstub$types))
 (export "types2" (func $legalstub$types2))
 (export "types3" (func $legalstub$types3))
 (func $add (; 1 ;) (type $0) (param $x i32) (param $y i32) (result i32)
  (i32.add
   (local.get $x)
   (local.get $y)
  )
 )
 (func $unexported (; 2 ;) (type $0) (param $x i32) (param $y i32) (result i32)
  (i32.add
   (local.get $x)
   (local.get $y)
  )
 )
 (func $no-return (; 3 ;) (type $1) (param $x i32)
  (drop
   (i32.add
    (local.get $x)
    (local.get $x)
   )
  )
 )
 (func $types (; 4 ;) (type $2) (param $x i32) (param $y i64) (param $z f32) (param $w f64)
  (nop)
 )
 (func $types2 (; 5 ;) (type $3) (param $x i32) (param $z f32) (param $w f64)
  (nop)
 )
 (func $types3 (; 6 ;) (type $4) (param $x i32) (param $z f32) (param $w f64) (result i64)
  (i64.const 1)
 )
 (func $legalstub$types (; 7 ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 f64) (param $4 f64)
  (call $types
   (local.get $0)
   (i64.or
    (i64.extend_i32_u
     (local.get $1)
    )
    (i64.shl
     (i64.extend_i32_u
      (local.get $2)
     )
     (i64.const 32)
    )
   )
   (f32.demote_f64
    (local.get $3)
   )
   (local.get $4)
  )
 )
 (func $legalstub$types2 (; 8 ;) (param $0 i32) (param $1 f64) (param $2 f64)
  (call $types2
   (local.get $0)
   (f32.demote_f64
    (local.get $1)
   )
   (local.get $2)
  )
 )
 (func $legalstub$types3 (; 9 ;) (param $0 i32) (param $1 f64) (param $2 f64) (result i32)
  (local $3 i64)
  (local.set $3
   (call $types3
    (local.get $0)
    (f32.demote_f64
     (local.get $1)
    )
    (local.get $2)
   )
  )
  (call $setTempRet0
   (i32.wrap_i64
    (i64.shr_u
     (local.get $3)
     (i64.const 32)
    )
   )
  )
  (i32.wrap_i64
   (local.get $3)
  )
 )
)
