Symbol: txg_list_add