/string_append.cc/1.2/Tue Aug 23 13:35:05 2005//
/string_append_2.cc/1.2/Tue Aug 23 13:35:05 2005//
/string_cons_input_iterator.cc/1.2/Tue Aug 23 13:35:05 2005//
/string_find.cc/1.2/Tue Aug 23 13:35:05 2005//
D
