Add ThreadSafeAllocator.h