pub const IP_RECVTOS: c_int = 13;
Non-POSIX, see https://www.man7.org/linux/man-pages/man7/ip.7.html.