Corpus for semctl$GETALL:

Coverage	Program
4437	semget$private-perf_event_open-semop-semtimedop-semget$private-semctl$GETALL-semctl$IPC_RMID-unshare
4423	semget$private-perf_event_open-semop-semget-semctl$IPC_RMID-semctl$SETALL-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semget$private-semctl$GETALL-semctl$GETNCNT-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semctl$IPC_RMID-semget$private-semop-unshare
254	semget$private-semtimedop-semctl$GETALL