copy sgi-stl for learning