Corpus for prctl$PR_SET_SECCOMP:

Coverage	Program
1081	prctl$PR_SET_SECCOMP
31	prctl$PR_SET_SECCOMP
26	prctl$PR_SET_SECCOMP
23	prctl$PR_SET_SECCOMP
23	prctl$PR_SET_SECCOMP