Corpus for getsockopt$sock_timeval:

Coverage	Program