Emacs Lisp macro practice

gistfile1.el

(defmacro do-with-val-macro (val &rest body)
  `(let ((,val 1))
     ,@body)
  )

(defmacro do-with-val-macro2 (spec)
  `(let ((,(car spec) 1))
     ,@(cdr spec))
  )

(do-with-val-macro2
 (val
  (prin1-to-string val)
  ))

(do-with-val-macro val
                   (prin1-to-string val))