void debuggerContinue(int n, char **args)
static void debuggerContinue(int n, char **args)
void debuggerContinue(int n, char **args){  if(debuggerAtBreakpoint)    debuggerContinueAfterBreakpoint();  debuggerEnableBreakpoints(false);  debugger = false;  debuggerPrefetch();}