stdin(3) on Linux

The text cf5e1ec9f342, as Debian 8 (Jessie) shipped it.

standard I/O streams

stdin(3) on Linux now