The SGI implementation of C++ STL