Corpus for setsockopt$inet6_IPV6_RTHDR:

Coverage	Program
315	socket$inet6_udp-setsockopt$inet6_IPV6_RTHDR
313	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
307	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
302	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
255	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
136	socket$inet6_tcp-setsockopt$inet6_IPV6_RTHDR