higher bound on height
stack age age age stack top ___