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