public long getSize() {
   return sizeField.getValue(addr);
 }
 public int top() {
   return (int) topField.getValue(addr);
 }