Corpus for getsockopt$EBT_SO_GET_INIT_INFO:
Coverage
Program
109
socket$inet_udp-getsockopt$EBT_SO_GET_INIT_INFO