weak_impl.cmo: strat.cmi 
weak_impl.cmx: strat.cmi