The text c5e37be2a5ff, as Debian 9 (Stretch) shipped it.
get and set options on sockets
getsockopt(2) on Linux now
