higher bound for the
stack frame width of stack frames for
function ___