On Mon, May 25, 2020, at 10:06, Alex Wakefield wrote: > > We're using malloc. Command line switch is specifically `-s malloc,24GB` > I think this is what you mean? Yes. Unfortunately (or rather fortunately) I never had problems like those with malloc storage. -- Cosimo