Corpus for semget:

Coverage	Program
4619	semget$private-perf_event_open-semctl$IPC_RMID-semget$private-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-poll-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semctl$IPC_RMID-semget-semctl$IPC_SET-semctl$GETALL-unshare
4593	semget$private-perf_event_open-semop-semget$private-semget-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-unshare
177	perf_event_open-semget
69	semget
32	semget