code: long getHtindex(int index, int tableid) {
          if (tableid == header.currentTableId()) {
              return htindex[index];
          } else {
              return new_htindex[index];
          }
      }
docs: ************************************************************************
  Retrieve the object pointer from the table. If we are in the process of
  doubling, this method finds the correct table to update (since there are
  two tables active during the doubling process).
  ***********************************************************************