higher bound on the
stack top most ___