higher bound for the

stack frame width of stack frame of

function stack frames he✕