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);
//}
}