public static Symbol internDerivedSymbol(GeneralizedSymbol basesymbol, String newname) {
    { Module currentmodule = ((Module)(Stella.$MODULE$.get()));

      { Object old$Module$000 = Stella.$MODULE$.get();

        try {
          Native.setSpecial(Stella.$MODULE$, ((Module)(basesymbol.homeContext)));
          if (((Module)(Stella.$MODULE$.get())) != null) {
            return (((Symbol)(GeneralizedSymbol.internRigidSymbolLocally(newname, ((Module)(Stella.$MODULE$.get())), Stella.SYMBOL_SYM))));
          }
          Native.setSpecial(Stella.$MODULE$, currentmodule);
          return (((Symbol)(GeneralizedSymbol.internRigidSymbolCaseSensitively(newname, Stella.SYMBOL_SYM, false))));

        } finally {
          Stella.$MODULE$.set(old$Module$000);
        }
      }
    }
  }