higher bound on height
of the stack top ___