higher bound on the

stack age for stack frames high stack

depth bound stack frame stack✕