GC_incr_mem_freed   77 gc/include/gc_alloc.h     extern void GC_incr_mem_freed(size_t words);
GC_incr_mem_freed  161 gc/include/gc_alloc.h     GC_incr_mem_freed(GC_mem_recently_freed);
GC_incr_mem_freed   92 gc/include/new_gc_alloc.h     extern void GC_incr_mem_freed(size_t words);
GC_incr_mem_freed  176 gc/include/new_gc_alloc.h     GC_incr_mem_freed(GC_mem_recently_freed);