   fprintf(textfile, "      %s_tree = DGLSystem::MakeDST(%s_size,lcl_list);\n", nameval, nameval);
   fprintf(textfile, "      %s_backup = DGLSystem::MakeDST(%s_size,lcl_list);\n", nameval, nameval);
   fprintf(textfile,"       free(lcl_list);\n");
