Point_set_topology loading ...