On 8/17/20 7:07 AM, Eli Zaretskii wrote:

> -  if (offset < dump_private.header.cold_start
> +  if (offset < dump_private.header.discardable_start

Yes, that's a good fix. Thanks for finding and fixing this bug. I installed the 
attached.