let
zs_singleton : t_zone
->
dzone =
D
.e_app1
"zs_singleton"