Experience with several memory leak tools