Corpus for set_tid_address:

Coverage	Program