Corpus for getsockopt$sock_timeval:
Coverage
Program
130
socket$inet-getsockopt$sock_timeval