(let (exp)
  (macroexp-let2 macroexp-copyable-p v exp
    v exp))

(macroexp-let2 macroexp-copyable-p)
(macroexp-let2)