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