PS: IMO, in case we end keeping those allocator members and, as a consequence, we keep on calling them from the containers, we have to improve the dispatchings in stl_construct.h and stl_uninitialized.h to avoid allocators by value. Seems doable, after all, only more complex... Paolo.