higher bound on the

stack age of stack top stack frames

stack bound stack depth stack✕