The text 6bb70d4f9b3a, as Debian 7 (Wheezy) shipped it.
procedures for creating and using encodings
Tcl_CreateEncoding(3tcl) on Linux now
