Corpus for semctl$IPC_RMID:

Coverage	Program
4630	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semget$private-semop-unshare
1514	unshare-semget$private-semctl$IPC_RMID
1450	unshare-semget$private-semtimedop-semctl$IPC_RMID
643	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
229	semget$private-semop-semctl$IPC_RMID
188	perf_event_open-semget$private-semctl$IPC_RMID
184	unshare-semget$private-semop-semctl$IPC_RMID