higher bound on the
stack in bound stack bound stack stack
stack in stack ___