public static Cons cppYieldSymbolIdForm(int symbolid) {
    { Symbol symbol = Symbol.getSymFromOffset(symbolid);

      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_IDENT, Cons.cons(Symbol.cppTranslateSymbolId(symbol), Cons.cons(Stella.NIL, Stella.NIL)))));
    }
  }