The text 42e6273197f6, as Debian 9 (Stretch) shipped it.
manipulate Tcl values as integers
Tcl_GetIntFromObj(3tcl) on Linux now
