let region_separated = Z.separated