Corpus for semctl$SETVAL:

Coverage	Program
194	semctl$SETVAL
37	semctl$SETVAL-semget-semctl$IPC_RMID