Corpus for prctl$PR_SET_MM_AUXV:

Coverage	Program