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