higher bound on the

stack frame width of stack frame stack

width stack width stack stack✕