On Mon, Jul 27, 2020 at 1:09 PM Roman Perepelitsa wrote: > A patch is attached. Here's a cleaned up patch (HASHTABLE_DEBUG_MEMBERS is inlined). Roman.