Corpus for prctl$PR_MPX_DISABLE_MANAGEMENT:

Coverage	Program