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