let
zs_empty : dzone =
D
.e_app0
"zs_empty"