question: append the contents of a charslice to the buffer concode_field_sep char[] array concode_elem_sep int used concode_field_sep char[] getCharArray concode_elem_sep void appendWideChar concode_elem_sep void getChars concode_elem_sep int length concode_elem_sep void setCharAt concode_elem_sep CharSequence subSequence concode_elem_sep String diagnosticPrint concode_elem_sep void prependWideChar concode_elem_sep void removeCharAt concode_elem_sep CharSequence condense concode_elem_sep void setLength concode_elem_sep void insertCharAt concode_elem_sep String toString concode_elem_sep void ensureCapacity concode_elem_sep int indexOf concode_elem_sep void write concode_elem_sep char charAt
target: void function ( CharSlice arg0 ) { int loc0 = arg0 . length ( ) ; ensureCapacity ( loc0 ) ; arg0 . copyTo ( array , used ) ; used += loc0 ; }