higher bound on the

stack overflow bound stack stack

stack top stack less stack✕