tripwire/src/STLport-4.0/stlport/stl
