higher bound on the
stack frame of code let code base
code lets code ___