Corpus for prctl$PR_MPX_ENABLE_MANAGEMENT:
Coverage
Program