higher bound on the

stack age of stack top frames stack✕