let model_zempty : dzone = F.e_app0 "zempty"