higher bound for the

stack frame width set width bound stack

frames width stack frames width✕