higher bound for the
stack frame width bound width width stack
width ___