void debuggerSetRadix(int argc, char **argv)
static void debuggerSetRadix(int argc, char **argv)
void debuggerSetRadix(int argc, char **argv){  if(argc != 2)    debuggerUsage(argv[0]);  else {    int r = atoi(argv[1]);    bool error = false;    switch(r) {    case 10:      debuggerRadix = 0;      break;    case 8:      debuggerRadix = 2;      break;    case 16:      debuggerRadix = 1;      break;    default:      error = true;      printf("Unknown radix %d. Valid values are 8, 10 and 16.\n", r);      break;    }    if(!error)      printf("Radix set to %d\n", r);  }}