CamlProg(demonstr,prop.zo lexuniv.zo asynt.zo demo.zo,)
