higher bound for the

stack frame width of stack frame of

stack frame width width stack✕