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