Declar7
Wrapper to indicate a C local variable declaration
in an mv-let that side-effects 7 additional variables.
See atc-let-designations.
Macro: declar7
(defmacro declar7 (x)
(cons 'mv-let
(cons '(*0 *1 *2 *3 *4 *5 *6 *7)
(cons x
'((mv (declar *0)
*1 *2 *3 *4 *5 *6 *7))))))
