What should the following do: (defun foo (a s v) (progv s v (print a))) with: (foo 3 '(a) '(4)) The actual result is 3 but from the book description of PROGV on p112 it appears that it should be 4. I have tried this on 3 different common lisps with the same result.