The text 71c9f83688c6, as Debian 11 (Bullseye) shipped it.
Interface to UDP sockets.
gen_udp(3erl) on Linux now