Corpus for getsockopt$SO_TIMESTAMP:

Coverage	Program