Corpus for set_tid_address:

Coverage	Program
50	set_tid_address