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