Corpus for semctl$GETVAL:

Coverage	Program
9	semctl$GETVAL