higher bound on the
stack top line width width ___