Symbol: __txn_restore_txn