higher bound on the

stack top stack age stack depth of