static void addZone(List<uint> r, uint z) { //MapRegion::iterator i_end = r.end(), // i = std::lower_bound(r.begin(), i_end, z); //if (i == i_end || *i != z) //{ // r.insert(i, z); //} }