Re: (ITS#5644) make test000 core dumps