ModelAction * get_action() { return read; }
int increment_threads() { return ++numthreads; }
uint64_t get_value() { return value; }
ModelAction * get_action() { return read; }
int increment_threads() { return ++numthreads; }
uint64_t get_value() { return value; }