michael@0: try {
michael@0:   __defineGetter__("eval", function() {
michael@0:     this["__proto__"]
michael@0:   })
michael@0:   delete this["__proto__"]
michael@0:   this["__proto__"]
michael@0: } catch (e) {}
michael@0: eval