michael@0: // Binary: cache/js-dbg-64-1c913526c597-linux
michael@0: // Flags:
michael@0: //
michael@0: aa = eval
michael@0: function bb() {
michael@0:     this.eval = aa
michael@0: }
michael@0: var f = (function () {
michael@0:     (Object.seal)(this)
michael@0:     l
michael@0: })
michael@0: try {
michael@0:     f()
michael@0: } catch (r) {}
michael@0: bb()
michael@0: try {
michael@0:     f()
michael@0: } catch (r) {
michael@0:     bb()
michael@0: }