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;
}