public static void printSymbolNameReadably(String name, PrintableStringWriter writer, boolean casesensitiveP) {
    { Keyword testValue000 = Stella.computeSymbolEscapeCode(name, casesensitiveP);

      if (testValue000 == Stella.KWD_UNESCAPED) {
        writer.print(name);
      }
      else if (testValue000 == Stella.KWD_ESCAPED) {
        writer.print("|" + name + "|");
      }
      else if (testValue000 == Stella.KWD_COMPLEX_ESCAPED) {
        writer.print("|");
        { char ch = Stella.NULL_CHARACTER;
          String vector000 = name;
          int index000 = 0;
          int length000 = vector000.length();

          for (;index000 < length000; index000 = index000 + 1) {
            ch = vector000.charAt(index000);
            if ((ch == '\\') ||
                (ch == '|')) {
              writer.print("\\");
            }
            writer.print(ch);
          }
        }
        writer.print("|");
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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