/string_append.cc/1.2/Thu Aug 18 23:13:48 2005//
/string_append_2.cc/1.2/Thu Aug 18 23:13:48 2005//
/string_cons_input_iterator.cc/1.2/Thu Aug 18 23:13:48 2005//
/string_find.cc/1.2/Thu Aug 18 23:13:48 2005//
D
