higher bound on height
of stack in ___