int MC_snapshot_region_memcmp(const void* addr1, const simgrid::mc::Region* region1, const void* addr2,
const simgrid::mc::Region* region2, std::size_t size);
int MC_snapshot_region_memcmp(const void* addr1, const simgrid::mc::Region* region1, const void* addr2,
const simgrid::mc::Region* region2, std::size_t size);