michael@0: function f(a, b, c) {
michael@0:     while (a) {
michael@0:         let x;
michael@0:         if (b) {
michael@0:             if (c) {
michael@0:                 d();
michael@0:                 break;  // hidden LEAVEBLOCK, then GOTO
michael@0:             }
michael@0:             break; // another hidden LEAVEBLOCK, then GOTO
michael@0:         }
michael@0:     }
michael@0:     null.x;
michael@0: }
michael@0: 
michael@0: try {
michael@0:     f();
michael@0: } catch (x) {
michael@0:     ;
michael@0: }