public static Cons cppPrognifyStatement(Stella_Object statement) {
    if (Stella_Object.cppPrognP(statement)) {
      return (((Cons)(statement)));
    }
    else {
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_PROGN, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_STATEMENTS, Cons.cons(statement, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))));
    }
  }