michael@0: var BUGNUMBER = {
michael@0:   valueOf: function() {
michael@0:     ++undefined;
michael@0:   }
michael@0: };
michael@0: BUGNUMBER + 1;