binstr2int Cyc_string2number2_ Cyc_string2number_ Cyc_string_append Cyc_string_byte_length Cyc_string_cmp Cyc_string_length Cyc_string_ref Cyc_string_set Cyc_substring dispatch_string_91append octstr2int

object Cyc_string_append ( void *  data, object  cont, int  argc, object  str1,   ...  )