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