Corpus for prctl$PR_MCE_KILL:

Coverage	Program
496	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-prctl$PR_MCE_KILL
57	prctl$PR_MCE_KILL
55	prctl$PR_MCE_KILL
55	prctl$PR_MCE_KILL
54	prctl$PR_MCE_KILL
54	prctl$PR_MCE_KILL
52	prctl$PR_MCE_KILL
46	prctl$PR_MCE_KILL
45	prctl$PR_MCE_KILL
45	prctl$PR_MCE_KILL
44	prctl$PR_MCE_KILL
42	prctl$PR_MCE_KILL
42	prctl$PR_MCE_KILL