let dzone_assigned z = M.dzone_assigned (massigned z)