Wrapper to indicate a C local variable declaration in an mv-let that side-effects 1 additional variable.
See atc-let-designations.
Macro: declar1
(defmacro declar1 (x) (cons 'mv-let (cons '(*0 *1) (cons x '((mv (declar *0) *1))))))