higher bound on the
stack age for stack frames stack size
bound in ___