Cyc_bytevector Cyc_bytevector_append Cyc_bytevector_copy Cyc_bytevector_length Cyc_bytevector_u8_ref Cyc_bytevector_u8_set Cyc_make_bytevector Cyc_string2utf8 Cyc_utf82string

Cyc_utf82string() object Cyc_utf82string ( void *  data, object  cont, object  bv, object  start, object  end  )