Re: (ITS#6878) ppcache segfault with tavl_delete