Implied_repeal loading ...