Corpus for prctl$PR_GET_SECCOMP:

Coverage	Program
20	prctl$PR_GET_SECCOMP