Update HaAllocators.hpp