public static Stella_Object clTranslateLocalSymbol(Symbol symbol) {
    return (VerbatimStringWrapper.newVerbatimStringWrapper(Module.yieldReadableSymbolName(((Module)(symbol.homeContext)), symbol.symbolName, true)));
  }