higher bound for the

stack frame width of stack able

code block stack width bound✕