Corpus for getsockopt$SO_TIMESTAMPING:

Coverage	Program
118	socket$inet6_tcp-getsockopt$SO_TIMESTAMPING
111	socket$inet6_icmp_raw-getsockopt$SO_TIMESTAMPING