Corpus for semtimedop:

Coverage	Program
4793	semget$private-perf_event_open-semop-semget$private-semget-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semctl$IPC_SET-semtimedop-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-unshare
1023	semget$private-perf_event_open-semop-semget-semctl$IPC_RMID-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semctl$IPC_RMID-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-openat$bsg-semctl$IPC_RMID-unshare-semop
923	unshare-seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semget-semtimedop
683	unshare-semget-semtimedop-unshare
343	semtimedop
332	semget$private-semtimedop
323	semget$private-perf_event_open-semop-msgctl$IPC_RMID-semtimedop
314	semget$private-semop-semop-semtimedop
253	clock_gettime-clock_nanosleep-clock_getres-semtimedop
253	semtimedop
253	semtimedop
227	semget$private-semtimedop
218	semop-semtimedop
210	semget$private-semget$private-semtimedop-semtimedop-semtimedop
203	semtimedop
202	semtimedop
134	perf_event_open-semtimedop
107	openat-mmap-semtimedop
50	semtimedop
37	semtimedop