*.cmi
*.cmo
*.cmx
*.cma
*.cmxa
dump.odoc
