/string_append.cc/1.2/Wed Aug 17 02:26:54 2005//
/string_append_2.cc/1.2/Wed Aug 17 02:26:54 2005//
/string_cons_input_iterator.cc/1.2/Wed Aug 17 02:26:54 2005//
/string_find.cc/1.2/Wed Aug 17 02:26:54 2005//
D
