michael@0: var JSID_INT_MIN = -(1 << 30);
michael@0: var JSID_INT_MAX = (1 << 30) - 1;
michael@0: 
michael@0: var o = {};
michael@0: 
michael@0: 
michael@0: for (var i = 0; i < 10; i++)
michael@0:   delete o[JSID_INT_MIN - 1];
michael@0: 
michael@0: for (var i = 0; i < 10; i++)
michael@0:   delete o[JSID_INT_MIN];
michael@0: 
michael@0: for (var i = 0; i < 10; i++)
michael@0:   delete o[JSID_INT_MIN + 1];
michael@0: 
michael@0: 
michael@0: for (var i = 0; i < 10; i++)
michael@0:   delete o[JSID_INT_MAX - 1];
michael@0: 
michael@0: for (var i = 0; i < 10; i++)
michael@0:   delete o[JSID_INT_MAX];
michael@0: 
michael@0: for (var i = 0; i < 10; i++)
michael@0:   delete o[JSID_INT_MAX + 1];