return (char*)snapshot_page + offset;
}
-const void* Region::read(void* target, const void* addr, std::size_t size)
+void* Region::read(void* target, const void* addr, std::size_t size)
{
xbt_assert(contain(simgrid::mc::remote(addr)), "Trying to read out of the region boundary.");