Corpus for prctl$PR_SET_SYSCALL_USER_DISPATCH_OFF:

Coverage	Program