STL to file