Corpus for semctl$GETPID:
Coverage
Program
411
semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-clock_gettime-semtimedop-semget$private-semctl$GETPID-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semop