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