Corpus for prctl$PR_SET_NAME:

Coverage	Program
64	prctl$PR_SET_NAME
61	prctl$PR_SET_NAME
29	prctl$PR_SET_NAME
29	prctl$PR_SET_NAME
24	prctl$PR_SET_NAME
22	prctl$PR_SET_NAME
20	prctl$PR_SET_NAME
20	prctl$PR_SET_NAME
20	prctl$PR_SET_NAME
19	prctl$PR_SET_NAME