The text 6048c873db7f, as Debian 10 (Buster) shipped it.
standard library of Tcl procedures
auto_reset(3tcl) on Linux now
