public static void Tcl_DStringAppendElement(TclObject str, string append) { TclString.append(str, append); }