Exact_functor loading ...