higher bound on the

stack age for stack frames stack less

bound bound stack stack frames✕