public static String nameQuotedTree(Cons tree) {
    { Cons nametree = Cons.cons(tree, Cons.cons(StringWrapper.wrapString(((Module)(Stella.$MODULE$.get())).moduleFullName), Stella.NIL));
      String name = Native.stringify(nametree);

      return (name);
    }
  }