* @param value
   * @return Stella_Object
   */
  public static Stella_Object pushqNew(Symbol variable, Stella_Object value) {
    if (Stella_Object.consP(value)) {
      { Symbol valuevar = Stella.localGensym("VALUE");

        return (Cons.list$(Cons.cons(Stella.SYM_STELLA_VRLET, Cons.cons(Cons.cons(Cons.cons(valuevar, Cons.cons(value, Stella.NIL)), Stella.NIL), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_SETQ, Cons.cons(variable, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CHOOSE, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_MEMBERp, Cons.cons(variable, Cons.cons(Cons.cons(valuevar, Stella.NIL), Stella.NIL)))), Cons.cons(variable, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CONS, Cons.cons(valuevar, Cons.cons(Cons.cons(variable, Stella.NIL), Stella.NIL)))), Stella.NIL), Stella.NIL))))), Stella.NIL), Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))));
      }
    }
    else {
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_SETQ, Cons.cons(variable, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CHOOSE, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_MEMBERp, Cons.cons(variable, Cons.cons(Cons.cons(value, Stella.NIL), Stella.NIL)))), Cons.cons(variable, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CONS, Cons.cons(value, Cons.cons(Cons.cons(variable, Stella.NIL), Stella.NIL)))), Stella.NIL), Stella.NIL))))), Stella.NIL), Stella.NIL)))));
    }
  }