280         let mut idx = 0;  in isolate_range()  localVariable
289         while idx < inner.initial_memory_regions_num {  in isolate_range()
290             let range_base = inner.initial_memory_regions[idx].base;  in isolate_range()
291             let range_end = range_base + inner.initial_memory_regions[idx].size;  in isolate_range()
297                 idx = idx.checked_add(1).unwrap_or(0);  in isolate_range()
303                 inner.initial_memory_regions[idx].base = base;  in isolate_range()
304                 inner.initial_memory_regions[idx].size -= base - range_base;  in isolate_range()
307                     idx,  in isolate_range()
310                     inner.initial_memory_regions[idx].flags,  in isolate_range()
314                 inner.initial_memory_regions[idx].base = end;  in isolate_range()
315                 inner.initial_memory_regions[idx].size -= end - range_base;  in isolate_range()
319                     idx,  in isolate_range()
322                     inner.initial_memory_regions[idx].flags,  in isolate_range()
324                 if idx == 0 {  in isolate_range()
325                     idx = usize::MAX;  in isolate_range()
327                     idx -= 1;  in isolate_range()
332                     start_index = idx;  in isolate_range()
334                 end_index = idx + 1;  in isolate_range()
337             idx = idx.checked_add(1).unwrap_or(0);  in isolate_range()