debuggerUsage("save");
printf("Savestate number must be in the 1-10 range");
static void debuggerWriteState(int n, char **args){  int num;  if(n == 2) {    sscanf(args[1],"%d",&num);    if(num > 0 && num < 11)      sdlWriteState(num-1);    else      debuggerUsage("save");  }  else    debuggerUsage("save");}