- TypeV *_Old_Val = __sequential.map.get(key)
- __sequential.map.put(key, &val);
+ TypeV *_Old_Val = (TypeV*) spec_table_get(map, key);
+ spec_table_put(map, key, val);
+ //bool passed = equals_val(__RET__, _Old_Val);
+ //bool passed = false;
+ //if (!passed) {
+ //int old = _Old_Val == NULL ? 0 : _Old_Val->_val;
+ //int ret = __RET__ == NULL ? 0 : __RET__->_val;
+ //model_print("Put: key: %d, val: %d, _Old_Val: %d, RET: %d\n",
+ // key->_val, val->_val, old, ret);
+ //}