IPV6_ADDR_INT32_WKPFX
((a)->__u6_addr.__u6_addr32[0] == IPV6_ADDR_INT32_WKPFX && \
((a)->s6_addr32[0] == IPV6_ADDR_INT32_WKPFX && \