Update allocator.h