let dzone_union dz1 dz2 = RtLib.zs_union dz1 dz2