Patch from D. V. Henkel-Wallace <gumby@…>:
Here's a tiny patch that shreds memory returned to the pool (such as by free() and delete). This may help people find some nasty bugs, so here it is.