higher bound on the

stack age for stack frames high stack

depth bound stack frames bound✕