* @return Symbol
   */
  public static Symbol internPermanentSymbol(String name) {
    return (((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule(name, ((Module)(Stella.$MODULE$.get())), Stella.SYMBOL_SYM))));
  }