CamlProgP4(demonstr,prop.cmo lexuniv.cmo asynt.cmo demo.cmo,)
CamlProgP4Opt(demonstr,prop.cmx lexuniv.cmx asynt.cmx demo.cmx,)
syntax highlighted by Code2HTML, v. 0.9.1