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(); }