michael@0: if (this.dis !== undefined) {
michael@0:     var generatorPrototype = (function() { yield 3; })().__proto__;
michael@0:     try {
michael@0:         this.dis(generatorPrototype);
michael@0:     } catch(e) {}
michael@0: }