Corpus for semctl$GETVAL:

Coverage	Program
31	semctl$GETVAL