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