let
dzone_empty () = model_zempty