Corpus for prctl$PR_GET_SECCOMP:

Coverage	Program
28	prctl$PR_GET_SECCOMP
21	prctl$PR_GET_SECCOMP
21	prctl$PR_GET_SECCOMP
20	prctl$PR_GET_SECCOMP