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