public static String readableSymbolName(String name, boolean casesensitiveP) {
    { Keyword testValue000 = Stella.computeSymbolEscapeCode(name, casesensitiveP);

      if (testValue000 == Stella.KWD_UNESCAPED) {
        return (name);
      }
      else if (testValue000 == Stella.KWD_ESCAPED) {
        return ("|" + name + "|");
      }
      else if (testValue000 == Stella.KWD_COMPLEX_ESCAPED) {
        { OutputStringStream s = OutputStringStream.newOutputStringStream();

          Stella.printSymbolNameReadably(name, s.nativeStream, casesensitiveP);
          return (s.theStringReader());
        }
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

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