benchmark.cmo: benchmark.cmi 
benchmark.cmx: benchmark.cmi 
main.cmo: benchmark.cmi 
main.cmx: benchmark.cmx 
benchmark.cmi: