public static Cons javaYieldSymbolIdForm(int symbolid) {
    { Symbol symbol = Symbol.getSym(symbolid);

      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(Symbol.javaTranslateSymbolId(symbol), Cons.cons(Stella.NIL, Stella.NIL)))));
    }
  }