* @param value
   * @return Stella_Object
   */
  public static Stella_Object pushf(Cons place, Stella_Object value) {
    { Cons placecopy = ((Cons)(Stella_Object.copyConsTree(place)));

      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_SETF, Cons.cons(place, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CONS, Cons.cons(value, Cons.cons(Cons.cons(placecopy, Stella.NIL), Stella.NIL)))), Stella.NIL), Stella.NIL)))));
    }
  }