higher bound on the
stack age of stack top node lets
___