public InnerRefCas readInnerRefCas() {
   InnerRef innerRef = paging.getInnerRef();
   ensureCanGrow(innerRef.size());
   InnerRefCas result = new InnerRefCas(address, position, innerRef);
   position += innerRef.size();
   return result;
 }
  public int readInnerRef() {
    InnerRef innerRef = paging.getInnerRef();

    ensureCanGrow(innerRef.size());

    int result = innerRef.readInnerRef(address + position);
    Requires.range(result, 0, paging.getPageSize(), "result");

    position += innerRef.size();
    return result;
  }