DefaultAllocator does not mix new and realloc