let dzone_empty () = model_zempty