let name_of_var vi : D.name = D.Xindex.get_ind vi