#include <ip4_addr.h>
This is the packed version of ip4_addr_t, used in network headers that are itself packed