higher bound for the
stack of in ___