public static Cons cppTranslateChooseTree(Cons tree) {
    return (Cons.cppTranslateOperatorCall(Cons.cons(StringWrapper.wrapString("?"), Cons.cons(StringWrapper.wrapString(":"), Stella.NIL)), tree.rest, 3));
  }