(module
 (type $none_=>_none (func))
 (type $i32_=>_none (func (param i32)))
 (type $none_=>_i32 (func (result i32)))
 (type $f64_=>_none (func (param f64)))
 (table $0 2 2 funcref)
 (elem (i32.const 0) $a9 $c8)
 (export "a8" (func $a8))
 (func $a (; 0 ;)
  (local $0 i32)
  (local.set $0
   (i32.const 1)
  )
  (nop)
 )
 (func $b (; 1 ;)
  (call $a)
 )
 (func $a1 (; 2 ;)
  (local $0 i32)
  (local.set $0
   (i32.const 2)
  )
  (unreachable)
 )
 (func $b1 (; 3 ;)
  (call $a1)
 )
 (func $b11 (; 4 ;)
  (call $a1)
 )
 (func $a2 (; 5 ;) (param $x i32)
  (drop
   (local.get $x)
  )
 )
 (func $b2 (; 6 ;)
  (call $a2
   (i32.const 3)
  )
 )
 (func $b22 (; 7 ;)
  (call $a2
   (i32.const 4)
  )
 )
 (func $a3 (; 8 ;)
  (local $0 i32)
  (drop
   (i32.const -1)
  )
 )
 (func $b3 (; 9 ;)
  (call $a3)
 )
 (func $b33 (; 10 ;)
  (call $a3)
 )
 (func $a4 (; 11 ;) (param $x i32)
  (nop)
 )
 (func $b4 (; 12 ;)
  (call $a4
   (unreachable)
  )
 )
 (func $b43 (; 13 ;)
  (call $a4
   (i32.const 4)
  )
 )
 (func $a5 (; 14 ;)
  (local $0 f64)
  (local $1 i32)
  (local.set $0
   (f64.const 3.14159)
  )
  (block
   (local.set $1
    (i32.const 1)
   )
   (block
    (drop
     (local.get $1)
    )
    (drop
     (local.get $0)
    )
   )
  )
 )
 (func $b5 (; 15 ;)
  (call $a5)
 )
 (func $a6 (; 16 ;) (param $0 i32)
  (local $1 f64)
  (local.set $1
   (f64.const 3.14159)
  )
  (block
   (drop
    (local.get $0)
   )
   (drop
    (local.get $1)
   )
  )
 )
 (func $b6 (; 17 ;)
  (call $a6
   (unreachable)
  )
 )
 (func $a7 (; 18 ;) (param $0 f64)
  (local $1 i32)
  (local.set $1
   (i32.const 1)
  )
  (block
   (drop
    (local.get $1)
   )
   (drop
    (local.get $0)
   )
  )
 )
 (func $b7 (; 19 ;)
  (call $a7
   (unreachable)
  )
 )
 (func $a8 (; 20 ;) (param $x i32)
  (nop)
 )
 (func $b8 (; 21 ;)
  (call $a8
   (i32.const 1)
  )
 )
 (func $a9 (; 22 ;) (param $x i32)
  (nop)
 )
 (func $b9 (; 23 ;)
  (call $a9
   (i32.const 1)
  )
 )
 (func $a10 (; 24 ;)
  (local $0 i32)
  (local.set $0
   (i32.const 1)
  )
  (block
   (call $a10)
   (call $a10)
  )
 )
 (func $a11 (; 25 ;)
  (local $0 i32)
  (call $a11)
  (call $a11)
 )
 (func $a12 (; 26 ;) (param $x i32)
  (drop
   (local.get $x)
  )
  (call $a12
   (i32.const 1)
  )
  (call $a12
   (i32.const 2)
  )
 )
 (func $c1 (; 27 ;)
  (local $x i32)
  (call $c2)
  (call $c3)
  (call $c3)
  (drop
   (call $c4)
  )
  (local.set $x
   (call $c4)
  )
  (call $c5
   (unreachable)
  )
  (call $c6)
  (call $c7)
  (drop
   (call $c8)
  )
 )
 (func $c2 (; 28 ;)
  (drop
   (i32.const 1)
  )
 )
 (func $c3 (; 29 ;)
  (drop
   (i32.const 2)
  )
 )
 (func $c4 (; 30 ;) (result i32)
  (i32.const 3)
 )
 (func $c5 (; 31 ;) (param $x i32)
  (drop
   (local.get $x)
  )
 )
 (func $c6 (; 32 ;)
  (unreachable)
 )
 (func $c7 (; 33 ;)
  (drop
   (i32.const 4)
  )
  (return)
 )
 (func $c8 (; 34 ;) (result i32)
  (i32.const 5)
 )
)
(module
 (type $none_=>_none (func))
 (export "a" (func $0))
 (func $0 (; 0 ;)
  (call $b)
 )
 (func $b (; 1 ;)
  (local $0 i32)
  (drop
   (block (result i32)
    (local.set $0
     (i32.const 1)
    )
    (local.get $0)
   )
  )
 )
)
(module
 (type $none_=>_i32 (func (result i32)))
 (type $i32_=>_i32 (func (param i32) (result i32)))
 (func $foo (; 0 ;) (param $x i32) (result i32)
  (drop
   (return_call $bar)
  )
  (i32.const 42)
 )
 (func $bar (; 1 ;) (result i32)
  (local $0 i32)
  (local.set $0
   (i32.const 0)
  )
  (i32.const 7)
 )
)
(module
 (type $none_=>_i32 (func (result i32)))
 (type $none_=>_none (func))
 (table $0 1 1 funcref)
 (func $foo (; 0 ;) (result i32)
  (local $0 i32)
  (local.set $0
   (i32.const 42)
  )
  (drop
   (return_call_indirect (type $none_=>_i32)
    (i32.const 0)
   )
  )
 )
 (func $bar (; 1 ;)
  (drop
   (call $foo)
  )
 )
)
