reset_alloc_counts  188 test/correctness/specialize.cpp         reset_alloc_counts();
reset_alloc_counts  199 test/correctness/specialize.cpp         reset_alloc_counts();