(setf *x* 625)
(psetf *x* 42 *y* (1+ *x*)
=>NIL