higher bound on the

stack frame of code lets code code

stack code code frame bound✕