the STL source code v3.3 from sgi