higher bound on the

stack age for stack frames stack of

age stack frame stack less✕