Corpus for prctl$PR_MPX_DISABLE_MANAGEMENT:
Coverage Program