higher bound for the

stack frame width set width bound set✕