let
zs_empty : dzone =
F
.e_app0
"zs_empty"