The text 13c23858a9e0, as Debian 5.0 (Lenny) shipped it.
manipulate Tcl result
Tcl_SetResult(3tcl) on Linux now
