sgi stl source.