Corpus for getsockopt$packet_int:

Coverage	Program
118	socket$packet-getsockopt$packet_int
92	socket$packet-getsockopt$packet_int
87	socket$packet-getsockopt$packet_int
87	socket$packet-getsockopt$packet_int
87	socket$packet-getsockopt$packet_int
87	socket$packet-getsockopt$packet_int
78	socket$packet-getsockopt$packet_int
78	socket$packet-getsockopt$packet_int
78	socket$packet-getsockopt$packet_int
78	socket$packet-getsockopt$packet_int
78	socket-getsockopt$packet_int