public int stacksize() { return current;
public void stacksize(int size) { assert size >= 0 : size; maximum = Math.max(current, maximum); current = size;
    public int stacksize() {        return current;    }