void debuggerHelp(int n, char **args)
static void debuggerHelp(int n, char **args)
void debuggerHelp(int n, char **args){  if(n == 2) {    debuggerUsage(args[1]);  } else {    for(int i = 0; ; i++) {      if(debuggerCommands[i].name) {        printf("%s\t%s\n", debuggerCommands[i].name, debuggerCommands[i].help);      } else        break;    }  }}