higher bound on the

stack age of stack frames stack age

of stack able frames✕