inet6_rthdr_space
rthlen = inet6_rthdr_space(IPV6_RTHDR_TYPE_0, argc - 1);
extern size_t inet6_rthdr_space(int, int);