let dzone_empty = M.dzone_empty