Update allocators.h