| $a : 1 | |
| $b : 4 | |
| $c : 11 | |
| (module | |
| (memory 0) | |
| (func $a | |
| (nop) | |
| ) | |
| (func $b | |
| (loop $loop-out0 $loop-in1 | |
| (nop) | |
| (i32.const 1000) | |
| ) | |
| ) | |
| (func $c | |
| (block $top | |
| (nop) | |
| (i32.const 1000) | |
| (i32.add | |
| (i32.add | |
| (i32.const 1001) | |
| (i32.const 1002) | |
| ) | |
| (i32.add | |
| (i32.const 1003) | |
| (i32.const 1004) | |
| ) | |
| ) | |
| (br $top) | |
| ) | |
| ) | |
| ) |