The text c3da16a21b0c, as Debian 7 (Wheezy) shipped it.
buffered I/O facilities using channels
Tcl_TruncateChannel(3tcl) on Linux now
