and mangled names. - Use it in Compact_container in place of Default_allocator which was playing the same role, but less generally.
Sylvain Pion