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