higher bound on the

stack age for stack frames stack frame

count bound stack stack stack✕