Corpus for prctl$PR_MCE_KILL_GET:

Coverage	Program
42	prctl$PR_MCE_KILL_GET