STL; input output, file