The text 901b1d0c36be, as Debian 10 (Buster) shipped it.
manipulate namespaces
Tcl_GetCurrentNamespace(3tcl) on Linux now
