destroy 138 gc/include/gc_allocator.h void destroy(pointer __p) { __p->~GC_Tp(); } destroy 214 gc/include/gc_allocator.h void destroy(pointer __p) { __p->~GC_Tp(); }