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