public static Symbol cppFixupNameSymbol(Symbol namesymbol, Module homemodule) {
    if (((Module)(namesymbol.homeContext)) == homemodule) {
      return (namesymbol);
    }
    else {
      { Symbol self000 = Symbol.newSymbol(namesymbol.symbolName);

        self000.homeContext = homemodule;
        { Symbol value000 = self000;

          return (value000);
        }
      }
    }
  }