The text 4919d8e693c6, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
manipulate Tcl result
Tcl_SetResult(3tcl) on Linux now
