Corpus for get_thread_area:
Coverage
Program