higher bound on the
stack age for stack frames and lib
stack frame ___