store_impl.cmi: store_intf.cmi