public static StringWrapper cppTranslateGlobalName(Symbol namesymbol) {
    if (namesymbol == null) {
      return (StringWrapper.wrapString("NULL"));
    }
    if (namesymbol == Stella.SYM_STELLA_TRUE) {
      return (Stella.$CPP_TRUE_STRING_WRAPPER$);
    }
    if (namesymbol == Stella.SYM_STELLA_FALSE) {
      return (Stella.$CPP_FALSE_STRING_WRAPPER$);
    }
    return (StringWrapper.wrapString(Stella.cppYieldQualifiedName(Stella.cppSubstituteForbiddenCharacters(GeneralizedSymbol.cppChangeCase(namesymbol, Stella.KWD_UPPERCASE), Stella.KWD_UPPERCASE), namesymbol)));
  }