The text 0fe525ceb25e, as Debian 7 (Wheezy) shipped it.
standard library of Tcl procedures
auto_reset(3tcl) on Linux now
