printf("%s %s\t%s\n",
printf("%s %s\n\n%s\n",
void debuggerUsage(char *cmd){  for(int i = 0; ; i++) {    if(debuggerCommands[i].name) {      if(!strcmp(debuggerCommands[i].name, cmd)) {        printf("%s %s\t%s\n",                debuggerCommands[i].name,                debuggerCommands[i].syntax ? debuggerCommands[i].syntax : "",               debuggerCommands[i].help);        break;      }    } else {      printf("Unrecognized command '%s'.", cmd);      break;    }  }  }