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