Edit File: allocator.h