Corpus for semctl$IPC_RMID:

Coverage	Program
2466	perf_event_open-unshare-semget$private-semop-semctl$IPC_RMID
2322	perf_event_open-unshare-semget$private-perf_event_open-semctl$SETALL-epoll_ctl$EPOLL_CTL_ADD-semget-semtimedop-semctl$IPC_RMID-setsockopt$inet_int
887	signalfd4-perf_event_open-unshare-semget$private-perf_event_open-semctl$SETALL-semget-semctl$IPC_RMID-clone
498	perf_event_open-unshare-semget$private-pwrite64-semctl$SEM_INFO-semctl$SETALL-semget-semctl$GETALL-semtimedop-semctl$IPC_RMID-semctl$SEM_STAT
403	perf_event_open-semget-semctl$IPC_RMID
264	unshare-semget$private-semtimedop-semctl$IPC_RMID
195	semget$private-semtimedop-semctl$IPC_RMID
163	semget$private-semctl$IPC_RMID-semctl$IPC_STAT