Corpus for getsockopt$EBT_SO_GET_INIT_ENTRIES:
Coverage
Program