+void txn_map_set (txn_t *txn, map_key_t key, map_val_t value) {
+ TRACE("x1", "txn_map_set: txn %p map %p", txn, txn->map);
+ TRACE("x1", "txn_map_set: key %p value %p", key, value);
+ assert(!IS_TAGGED(value, TAG1) && !IS_TAGGED(value, TAG2));
+
+ if (txn->state != TXN_RUNNING) {
+ TRACE("x1", "txn_map_set: error txn not running (state %p)", txn->state, 0);
+ return;
+ }