Corpus for getsockopt$SO_TIMESTAMPING:

Coverage	Program