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