higher bound on the
stack in bound stack top stack depth
___