let
model_zempty : dzone =
D
.e_app0
"zempty"