Symbol: txg_list_add_tail