higher bound for the
stack frame width set width bound stack
bound stack stack stack ___