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