higher bound for the

stack frame width of function lib✕