Infinite-dimensional_vector_function loading ...