Topological_vector_lattice loading ...