socsvn - Revision 337283: /soc2015/stefano/ptnetmap/stable/10/gnu/lib/libstdc++