Corpus for getsockopt$packet_buf:
Coverage
Program
87
socket$packet-getsockopt$packet_buf