Corpus for semctl$IPC_STAT:

Coverage	Program
166	semget$private-semctl$IPC_STAT
79	semctl$IPC_STAT