higher bound on the

stack age of code block stack top

stack bound stack base stack✕