Corpus for semctl$IPC_STAT:

Coverage	Program
525	semctl$IPC_STAT
60	semctl$IPC_STAT
57	semctl$IPC_STAT