Corpus for msgctl$MSG_INFO:

Coverage	Program
740	msgctl$IPC_SET-msgget-msgctl$IPC_STAT-msgctl$MSG_INFO-msgrcv-perf_event_open-msgget-msgrcv-gettid
103	perf_event_open-msgctl$MSG_INFO