(module
 (type $none_=>_none (func))
 (type $i32_=>_none (func (param i32)))
 (event $e (attr 0) (param i32))
 (func $dummy
  (nop)
 )
 (func $getFallthrough
  (local $x0 i32)
  (local $x1 i32)
  (local $x2 i32)
  (local $x3 i32)
  (local.set $x0
   (try (result i32)
    (do
     (i32.const 1)
    )
    (catch
     (drop
      (pop exnref)
     )
     (i32.const 3)
    )
   )
  )
  (drop
   (local.get $x0)
  )
  (local.set $x1
   (try (result i32)
    (do
     (call $dummy)
     (i32.const 1)
    )
    (catch
     (drop
      (pop exnref)
     )
     (i32.const 3)
    )
   )
  )
  (drop
   (i32.and
    (local.get $x1)
    (i32.const 7)
   )
  )
  (local.set $x2
   (try (result i32)
    (do
     (try
      (do
       (throw $e
        (i32.const 0)
       )
      )
      (catch
       (drop
        (pop exnref)
       )
      )
     )
     (i32.const 1)
    )
    (catch
     (drop
      (pop exnref)
     )
     (i32.const 3)
    )
   )
  )
  (drop
   (local.get $x2)
  )
  (local.set $x3
   (try (result i32)
    (do
     (try
      (do
       (nop)
      )
      (catch
       (drop
        (pop exnref)
       )
       (throw $e
        (i32.const 0)
       )
      )
     )
     (i32.const 1)
    )
    (catch
     (drop
      (pop exnref)
     )
     (i32.const 3)
    )
   )
  )
  (drop
   (i32.and
    (local.get $x3)
    (i32.const 7)
   )
  )
 )
)
