Corpus for prctl$PR_GET_SECCOMP:

Coverage	Program
25	prctl$PR_GET_SECCOMP