Corpus for semctl$IPC_INFO:

Coverage	Program
58	semctl$IPC_INFO
58	semctl$SETVAL-semctl$IPC_INFO