sgi STL source