Corpus for semctl$IPC_STAT:

Coverage	Program
277	semctl$IPC_STAT