Some practical code with STL/IO