higher bound for the

stack frame width is width bytes large

width byte code stack less✕