Corpus for prctl$PR_GET_SECCOMP:

Coverage	Program
42	prctl$PR_GET_SECCOMP