michael@0: // Binary: cache/js-dbg-32-32e8c937a409-linux
michael@0: // Flags: -m -n
michael@0: //
michael@0: function f() {
michael@0:     try {
michael@0:         (new {
michael@0:             x: function() {}
michael@0:         }.x)();
michael@0:     } catch (e) {}
michael@0: }
michael@0: for (var i = 0; i<10000; i++) {
michael@0:     f();
michael@0: }