Corpus for prctl$PR_SET_MM_AUXV:

Coverage	Program
76	perf_event_open-prctl$PR_SET_MM_AUXV
62	prctl$PR_SET_MM_AUXV
28	perf_event_open-prctl$PR_SET_MM_AUXV
17	prctl$PR_SET_MM_AUXV
17	prctl$PR_SET_MM_AUXV