higher bound on the

stack frame of stack frame stack in

bound stack stack bound stack✕