Corpus for semctl$IPC_STAT:

Coverage	Program
447	semctl$IPC_STAT