The text 87aacc94856c, as Debian 10 (Buster) shipped it.
Standard I/O, unification of stdin and stdout
std(3tcl) on Linux now
