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