__IPV6_ADDR_INT32_ONE
key->addr[sidx].addr32[3] = __IPV6_ADDR_INT32_ONE;
(*(const u_int32_t *)(const void *)(&(a)->s6_addr[12]) == __IPV6_ADDR_INT32_ONE))
(*(const u_int32_t *)(const void *)(&(a)->s6_addr[12]) != __IPV6_ADDR_INT32_ONE))
daddr6.s6_addr32[2] == __IPV6_ADDR_INT32_ONE &&
dst_sa.sin6_addr.s6_addr32[2] = __IPV6_ADDR_INT32_ONE;
dst_sa.sin6_addr.s6_addr32[3] = __IPV6_ADDR_INT32_ONE;