higher bound on the
stack top less in ___