higher bound on the
stack age of stack top stack frames
stack bound stack age ___