Removed unused function destroy_page_txn.