michael@0: 
michael@0: function Bext(k) {
michael@0:     if (k > 0) {
michael@0:         let i = k + 1;
michael@0:         if (k == 10) {
michael@0:             function x () { i = 2; }
michael@0: 	}
michael@0:         Bext(i - 2);
michael@0:         Bext(i - 2);
michael@0:     }
michael@0:     return 0;
michael@0: }
michael@0: 
michael@0: function f() {
michael@0:     Bext(12);
michael@0: }
michael@0: 
michael@0: f();
michael@0: 
michael@0: /* Don't assert. */
michael@0: