Corpus for prctl$PR_GET_TSC:

Coverage	Program