public static Cons cppTranslateHardcodedSymbolReference(Symbol operator, int offset) {
    { GeneralizedSymbol symbol = null;

      if (operator == Stella.SYM_STELLA_GET_SYM) {
        symbol = Symbol.getSymFromOffset(offset);
      }
      else if (operator == Stella.SYM_STELLA_GET_KWD) {
        symbol = Keyword.getKwdFromOffset(offset);
      }
      else if (operator == Stella.SYM_STELLA_GET_SGT) {
        symbol = Surrogate.getSgtFromOffset(offset);
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("`" + operator + "' is not a valid case option");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_SYMBOL, Cons.cons(symbol, Cons.cons(Stella.NIL, Stella.NIL)))));
    }
  }