CL-USER> (defparameter *template* '`(a b ,c))
*TEMPLATE*

CL-USER> *template*
`(A B ,C)

CL-USER> (progv '(c) '(1) (eval *template*))
(A B 1)