| (module |
| (type $0 (func (param exnref) (result exnref))) |
| (type $1 (func)) |
| (type $2 (func (param i32))) |
| (event $event$0 (attr 0) (param i32)) |
| (func $0 (; 0 ;) (type $0) (param $0 exnref) (result exnref) |
| (local.get $0) |
| ) |
| (func $1 (; 1 ;) (type $1) |
| (local $0 exnref) |
| (try |
| (throw $event$0 |
| (i32.const 0) |
| ) |
| (catch |
| (local.set $0 |
| (exnref.pop) |
| ) |
| (drop |
| (block $label$3 (result i32) |
| (rethrow |
| (br_on_exn $label$3 $event$0 |
| (local.get $0) |
| ) |
| ) |
| ) |
| ) |
| ) |
| ) |
| (block $label$4 |
| (try |
| (br $label$4) |
| (catch |
| (drop |
| (exnref.pop) |
| ) |
| (br $label$4) |
| ) |
| ) |
| ) |
| (unreachable) |
| ) |
| ) |
| |