Symbol: icmp6_dev