leak-check example for tests.