higher bound for the
stack frame width of function ___