Symbol: icmp6_opt_print