for(i=0; i!=NB_REGIONS; ++i) {
mc_mem_region_t region = snapshot->regions[i];
mprotect(region->data, region->size, PROT_READ);
for(i=0; i!=NB_REGIONS; ++i) {
mc_mem_region_t region = snapshot->regions[i];
mprotect(region->data, region->size, PROT_READ);