 
       while(j < keys.length) {
         var k_id = keys[j++];
-        delete objects[k_id][this._espressoReplID];
         delete objects[k_id];
-        delete exobjects[k_id];
         ++num_freed;
       }
 

        var id = ids_in_use[i++];
        while(j < keys.length && keys[j] !== id) {
          var k_id = keys[j++];
          delete objects[k_id][this._espressoReplID];
          delete objects[k_id];
          delete exobjects[k_id];
          ++num_freed;
        }
        ++j;

          6: this._delProp,
          7: this._typeOf,
          8: repl});
        repl._espressoLastID = 8;
        repl._espressoGC = this._espressoGC;
      }
    },

    _espressoGC: function _espressoGC(ids_in_use) {
      var objects = this._espressoObjects;
      var keys = [];
      var num_freed = 0;

