Corpus for semctl$IPC_STAT:
Coverage
Program
60
semctl$IPC_STAT
33
semctl$IPC_STAT