Corpus for semtimedop:

Coverage	Program
1922	perf_event_open-unshare-semget$private-semtimedop-unshare
713	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semtimedop
604	syz_open_dev$evdev-semtimedop-write$evdev
549	semget$private-perf_event_open-semtimedop
522	perf_event_open-semctl$IPC_INFO-semget$private-socket$nl_xfrm-getsockopt$sock_cred-setuid-socket$nl_xfrm-getsockopt$sock_cred-setuid-setuid-semctl$IPC_SET-semctl$SEM_STAT_ANY-semget-semget-recvmsg$unix-chown-semtimedop
474	unshare-perf_event_open-semget$private-semtimedop-semctl$IPC_RMID
430	unshare-semget$private-perf_event_open-semtimedop
419	semget$private-perf_event_open-semtimedop
416	semget$private-semtimedop-semop
328	semget$private-semtimedop
254	perf_event_open-semtimedop
242	semget$private-semtimedop-semget$private-semtimedop-semget$private-semtimedop
228	semtimedop-semtimedop
215	perf_event_open-semtimedop
167	unshare-semget$private-semtimedop-semtimedop
69	semtimedop