Corpus for set_tid_address:

Coverage	Program
48	set_tid_address