public static String helpCppChangeCase(GeneralizedSymbol symbol, Keyword caseconvention) {
    { Module module = ((Module)(symbol.homeContext));
      String name = symbol.symbolName;
      boolean allUpperP = Stella.allUpperCaseStringP(name);
      Keyword capsBreakKeyword = (allUpperP ? Stella.KWD_CLEVER : Stella.KWD_YES);

      if (module == null) {
        module = ((Module)(Stella.$MODULE$.get()));
      }
      if (module.caseSensitiveP ||
          (!allUpperP)) {
        return (Stella.makeMatchingNameFull(name, Stella.KWD_NO, Stella.KWD_NO, "- ", "", "", "", "", Stella.KWD_PRESERVE, "_"));
      }
      if (caseconvention == Stella.KWD_UPPERCASE) {
        return (Stella.makeMatchingNameFull(name, Stella.KWD_NO, Stella.KWD_NO, "- ", "", "", "", "", Stella.KWD_UPCASE, "_"));
      }
      else if (caseconvention == Stella.KWD_LOWERCASE) {
        return (Stella.makeMatchingNameFull(name, capsBreakKeyword, Stella.KWD_CLEVER, "- ", "", "", "", "", Stella.KWD_TITLECASEX, ""));
      }
      else if (caseconvention == Stella.KWD_CAPITALIZED) {
        return (Stella.makeMatchingNameFull(name, capsBreakKeyword, Stella.KWD_CLEVER, "- ", "", "", "", "", Stella.KWD_TITLECASE, ""));
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("`" + caseconvention + "' is not a valid case option");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
    }
  }