On Mon, Nov 07, 2022 at 09:13:17PM +0100, Jann Horn wrote: > @Kees should this go through your tree? (After waiting a while for > the inevitable bikeshedding on whether the default limit should be closer > to 10000 or 2^31.) Sure, yeah. I can take it. -- Kees Cook