Corpus for prctl$PR_MPX_ENABLE_MANAGEMENT:

Coverage	Program
21	prctl$PR_MPX_ENABLE_MANAGEMENT