An svex constant for an single X bit (lsb), upper bits all 0.
Definition: *svex-1z*
(defconst *svex-1z* (svex-quote (4vec-1z)))
Macro: svex-1z
(defmacro svex-1z nil (cons 'quote (cons *svex-1z* 'nil)))
