michael@0: 
michael@0: try { with( {"a":1} ) {
michael@0:     (function () {
michael@0:         for (;;) {
michael@0:             t
michael@0:         }
michael@0:     })()
michael@0: } } catch (e) {}
michael@0: 
michael@0: with( {"b":2} ) {
michael@0:   (function () {
michael@0:     for (b = 0; b < 18; ++b) {}
michael@0:   })();
michael@0: }