public void reset (VM_Address start, VM_Address end, int firstIndex, int blockNum) { start_ = start; end_ = end; firstIndex_ = firstIndex; blockNum_ = blockNum;
private void reset (VM_Address start, VM_Address end, int firstIndex, int blockSize, int blockNum) { reset(start, end, firstIndex, blockNum); blockSize_ = blockSize; if (DEBUG_) dump();
  public void reset (VM_Address start, 		     VM_Address end, 		     int firstIndex, 		     int blockNum) {    start_ = start;    end_ = end;    firstIndex_ = firstIndex;    blockNum_ = blockNum;  }