public static Cons cppTranslateSysSlotValue(Cons tree) {
    { Surrogate objecttype = ((Surrogate)(tree.rest.value));
      Stella_Object objectref = tree.fourth();
      Symbol slotname = Symbol.trueSlotName(((Symbol)(tree.rest.rest.value)), objecttype);

      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_SLOT_VALUE, Cons.cons(Stella_Object.cppTranslateATree(objectref), Cons.cons(Cons.cons(Symbol.cppTranslateName(slotname), Stella.NIL), Stella.NIL)))));
    }
  }