debugging the extract_txs function