debugging aids while looking for memory leak