fn region_value_str(elements: impl IntoIterator<Item = RegionElement>) -> String