Corpus for prctl$PR_GET_TID_ADDRESS:

Coverage	Program