michael@0: // Binary: cache/js-dbg-64-38a487da2def-linux
michael@0: // Flags:
michael@0: //
michael@0: 
michael@0: var x = newGlobal().Date;
michael@0: var OBJ = new MyObject( new x(0) );
michael@0: try { eval("OBJ.valueOf()"); } catch(exc1) {}
michael@0: function MyObject( value ) {
michael@0:   this.valueOf = x.prototype.valueOf;
michael@0: }