int IsDebuggingModule(int a1) {   return a1 + 1; }