dvm_vstr_append_character  174 dvm/dvm_pri.h  void dvm_vstr_append_character(VString *v, DVM_Char ch);
dvm_vstr_append_character   95 dvm/error.c    	    dvm_vstr_append_character(v, wc_format[i]);