The text c8417adeb9d5, as Debian 10 (Buster) shipped it.
introduction to system calls and error numbers
errno(2freebsd) on Linux now
