higher bound on the
stack top is a ___