let zs_empty : dzone = F.e_app0 "zs_empty"