higher bound on the

stack age for stack frames stack age

of stack frames frames pace✕