higher bound on the

stack age for stack frames stack frames

stack frames stack stack bound✕