Corpus for setsockopt$inet6_IPV6_RTHDR:

Coverage	Program
324	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
323	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
320	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR-setsockopt$inet6_IPV6_RTHDR
307	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
305	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
304	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
253	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
134	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR
133	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR