progv and dynamic variables

["Timothy P. Daly" <DALY@ibm.com>]

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.