pub const INADDR_LOOPBACK: u32 = 0x7F00_0001;
Non-POSIX, see https://www.man7.org/linux/man-pages/man7/ip.7.html.