Corpus for setsockopt$inet6_IPV6_RTHDR:

Coverage	Program
305	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
305	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
304	socket$inet6_udp-setsockopt$inet6_IPV6_RTHDR
303	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
283	perf_event_open-socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
253	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
145	socket$inet6_udp-setsockopt$inet6_IPV6_RTHDR
88	socket$inet6_icmp_raw-setsockopt$inet6_IPV6_RTHDR