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