函数(1+ val)的作用是返回val + 1后的结果，但val的值不会变：
CL-USER> (setf x 1) 1 CL-USER> (1+ x) 2 CL-USER> (1+ x) 2 CL-USER> x 1 CL-USER> (1+ x) 2 CL-USER> x 1 CL-USER>
