Example1.12: src/stl/streams/streams.cpp