;;; It's possible in general for a constant to have the value NIL, but
;;; not for vector-data-offset, which must be a number:
;;; It's possible in general for a constant to have the value NIL, but
;;; not for vector-data-offset, which must be a number: