paying notes stack end
high stack age bound ___