(1+ val)

函数(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>