higher bound on the

stack overflow bound stack top