higher bound for the
stack top less ___