higher bound on the

stack overflow bound stack stack

bound less than stack top✕