Corpus for semctl$IPC_STAT:

Coverage	Program
280	semctl$IPC_STAT
55	newfstatat-setresuid-semget$private-semctl$IPC_STAT