nopres_impl.cmo: strat.cmi 
nopres_impl.cmx: strat.cmi