void debuggerVerbose(int n, char **args)
static void debuggerVerbose(int n, char **args)
void debuggerVerbose(int n, char **args){  if(n == 2) {    int v = 0;    sscanf(args[1], "%d", &v);    systemVerbose = v;    printf("Verbose level set to %d\n", systemVerbose);  } else    debuggerUsage("verbose");    }