   fputs("   else if (cmd->Type == DGLSystem::CmdRestart)\n",textfile);
   fputs("   {\n",textfile);
   fprintf(textfile,"      DGLProductions::%s_restart();\n",nameval);
   fputs("   }\n",textfile);
   fputs("   else if (cmd->Type == DGLSystem::CmdEOC)\n",textfile);
   fputs("   {\n",textfile);
   fprintf(textfile,"      %s_remain = 0;\n",nameval);
   fprintf(textfile,"      for (int i=0 ; i<%d ; i++)\n",temp->entries);
   fprintf(textfile,"      {\n");
   fprintf(textfile,"         %s_counts[i] = 0;\n",nameval);
   fprintf(textfile,"      }\n");
   if (stop_spec || dflt_spec)
   {
      fputs("      DGLSystem::stop_run = 1;\n",textfile);
   }
   else if (bstop_spec)
   {
      fputs("      DGLSystem::Barrier_Stop = 1;\n",textfile);
      fprintf(textfile,"      if (DGLSystem::Barrier_Level == 0)\n");
      fprintf(textfile,"      {\n");
      fprintf(textfile,"         DGLSystem::stop_run = 1;\n");
      fprintf(textfile,"      }\n");
   }
   else if (babort_spec)
   {
      fprintf(textfile,"      if (DGLSystem::Barrier_Level == 0)\n");
      fprintf(textfile,"      {\n");
      fprintf(textfile,"         DGLSystem::stop_run = 1;\n");
      fprintf(textfile,"      }\n");
   }
   fprintf(textfile,"      %s_next = 1;\n",nameval);
   fputs("   }\n",textfile);
