Corpus for setsockopt$inet6_IPV6_RTHDR:

Coverage	Program
324	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
305	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
300	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
298	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
253	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
247	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
154	socket$inet6_udp-setsockopt$inet6_IPV6_RTHDR
134	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
122	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR