Edit: new_allocator.h