Corpus for semctl$IPC_STAT:

Coverage	Program
165	semget-semctl$IPC_STAT
60	semctl$IPC_STAT
34	semctl$IPC_STAT