higher bound for the
stack frame width bound ___