let dzone_union = M.dzone_union