/* --- helper functions --- */
uint64_t model_rmwrcas_action_helper(void *obj, int atomic_index, uint64_t oldval, int size, const char *position) {
return model->switch_to_master(
- new ModelAction(ATOMIC_RMWRCAS, position, orders[atomic_index], obj)
+ new ModelAction(ATOMIC_RMWRCAS, position, orders[atomic_index], obj, oldval, size)
);
}