# CONFIG_INET6_AH is not set
