higher bound on the

stack age for stack frames stack size

bound is stack over✕