(module
 (type $none_=>_none (func))
 (func $0
  (nop)
 )
 (func $1
  (nop)
 )
 (func $2
  (local $0 exnref)
  (try
   (do
    (call $0)
    (call $1)
   )
   (catch
    (drop
     (pop exnref)
    )
    (call $0)
    (call $1)
   )
  )
 )
)