return start.add(Extent.fromInt(highWaterMark<<LOG_BYTES_IN_PAGE));
return start.add(Extent.fromIntSignExtend(highWaterMark<<LOG_BYTES_IN_PAGE));
  public Address getHighWater() {    return start.add(Extent.fromInt(highWaterMark<<LOG_BYTES_IN_PAGE));  }