misc - Revision 12531: /trunk/cpp-tools