higher bound on the

stack frame of code lets code code

code stack code frames bound✕