higher bound on the

stack overflow bound stack top

stack stack top stack bound✕