higher bound for the

stack frame width of stack frames for