higher bound for the
stack top height stack less on ___