higher bound on the

stack frame width of stack able

code base code width bound✕