- size_t offset = rnd_engine() % ret.size;
- size_t size = rnd_engine() % (ret.size - offset);
- const void* read = MC_region_read(ret.region, ret.dstn, (const char*)ret.src + offset, size);
+ size_t offset = simgrid::xbt::random::uniform_int(0, ret.size - 1);
+ size_t size = simgrid::xbt::random::uniform_int(0, ret.size - offset - 1);
+ const void* read = ret.region->read(ret.dstn, (const char*)ret.src + offset, size);