public static Cons cppTranslateVerbatimTree(Cons tree) {
    { Cons cursor = tree.rest;
      Stella_Object verbatimcode = null;

      while (!(cursor == Stella.NIL)) {
        if (cursor.value == Stella.KWD_CPP) {
          verbatimcode = cursor.rest.value;
          return (Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_VERBATIM, Cons.cons(verbatimcode, Cons.cons(Stella.NIL, Stella.NIL)))));
        }
        cursor = cursor.rest.rest;
      }
      throw ((StellaException)(StellaException.newStellaException("Verbatim has no :cpp option").fillInStackTrace()));
    }
  }