Corpus for get_thread_area:

Coverage	Program
14	prctl$PR_SET_SYSCALL_USER_DISPATCH_ON-get_thread_area