Corpus for semctl$IPC_RMID:

Coverage	Program
523	semctl$SEM_INFO-semctl$GETZCNT-semget-semctl$SETALL-semget$private-semctl$SEM_INFO-semget$private-semctl$GETVAL-semctl$GETNCNT-semctl$SEM_INFO-semctl$GETALL-sched_rr_get_interval-semget-semctl$SETALL-semget-semctl$IPC_RMID
405	unshare-semget$private-semtimedop-semctl$IPC_RMID
329	perf_event_open-semget$private-semtimedop-semctl$IPC_RMID-clock_nanosleep-semget$private
313	perf_event_open-semget$private-semop-semop-semctl$IPC_RMID
265	rseq-semop-semop-semctl$IPC_RMID
261	semget$private-semop-semop-semctl$IPC_RMID
122	perf_event_open-semtimedop-semctl$IPC_RMID
17	semctl$IPC_RMID