dump_stream
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
