icp6s_badredirect
u_int64_t icp6s_badredirect; /* bad redirect message */
icmp6stat_inc(icp6s_badredirect);
p(icp6s_badredirect, "\t%llu bad redirect message%s\n");