The text 1de4a525acb5, as Debian 9 (Stretch) shipped it.
procedures for creating and using encodings
Tcl_GetEncoding(3tcl) on Linux now
