higher bound for the
stack top age bound ___