(progn (let ((*x* 43)) (print *x*) (print *x*))