Corpus for prctl$PR_SET_MM_AUXV:

Coverage	Program
196	prctl$PR_SET_MM_AUXV
150	perf_event_open-prctl$PR_SET_MM_AUXV
143	perf_event_open-prctl$PR_SET_MM_AUXV
89	prctl$PR_SET_MM_AUXV