higher bound on the

stack in a stack box stack mark

stack box bound stack stack✕