if(used_cmds[cmd]!=0){fprintf(stderr,"%s:%d: error: Command %d (%c) was used twice (second time for %s)\n",__FILE__,__LINE__,cmd,cmd,lt->name);abort();}
if(used_cmds[cmd]!=0){fprintf(stderr,"%s:%d: error: Command %d (%c) was used twice (second time for %s)\n",__FILE__,__LINE__,cmd,cmd,lt->name);abort();}