The text e2890950a7de, as Debian 2.2 (Potato) shipped it.
manipulate Tcl result
Tcl_AppendElement(3tcl) on Linux now
