Corpus for semctl$SEM_INFO:

Coverage	Program
5570	semget$private-perf_event_open-semget$private-semctl$IPC_RMID-semctl$SETALL-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semctl$IPC_RMID-semctl$SEM_INFO-semctl$SETALL-openat$ptmx-unshare-semget
158	semget$private-perf_event_open-semget$private-semctl$IPC_RMID-semctl$SETALL-semctl$SEM_STAT_ANY-clock_gettime-semctl$SEM_INFO-openat$ptmx
112	perf_event_open-semctl$IPC_RMID-semctl$SEM_INFO
87	ioctl$AUTOFS_DEV_IOCTL_TIMEOUT-semctl$SEM_INFO