The text dcdf2f77ba03, as Debian 2.2 (Potato) shipped it.
buffered I/O facilities using channels
Tcl_WriteChars(3tcl) on Linux now
