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