- std::vector< uint64_t, MyAlloc< uint64_t > > future_values;
- std::vector< promise_t, MyAlloc<promise_t> > promises;
- unsigned int future_index;
+ std::vector< struct future_value, ModelAlloc<struct future_value> > future_values;
+ std::vector< promise_t, ModelAlloc<promise_t> > promises;
+ int future_index;
+
+ std::vector< const ModelAction *, ModelAlloc<const ModelAction *> > relseq_break_writes;
+ int relseq_break_index;