Symbol: __txn_undo