higher bound on the

stack frame width of stack frame stack

width stack stack stack stack✕