Infinite width vector, all Zs.
Definition: *4vec-z*
(defconst *4vec-z* (make-honsed-4vec :upper 0 :lower -1))
Macro: 4vec-z
(defmacro 4vec-z nil (cons 'quote (cons *4vec-z* 'nil)))