dkc_vstr_append_string  560 compiler/diksamc.h void dkc_vstr_append_string(VString *v, char *str);
dkc_vstr_append_string  267 compiler/util.c     dkc_vstr_append_string(&vstr, dkc_get_basic_type_name(type->basic_type));
dkc_vstr_append_string  276 compiler/util.c 	    dkc_vstr_append_string(&vstr, "[]");