more mangling for std::allocator