higher bound on the

stack age of stack frames stack bound

bound stack stack frames stack✕