higher bound on height
stack age line age bound ___