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_string2number_ ( void *  d, object  cont, object  str  )