Corpus for socket$inet_udplite:
Coverage
Program
801
socket$inet_udplite-getsockopt$inet_IP_IPSEC_POLICY