pres_impl.cmo: strat.cmi 
pres_impl.cmx: strat.cmi