anchor.diff:                                    ))
     "A vector with all legal odd-parity bytes, in 7-bit order.")
   
  +(defun even-parity (byte) (aref *even-parity* (logand byte #x7f)))
  +(defun odd-parity  (byte) (aref *odd-parity*  (logand byte #x7f)))
  +(declaim (inline even-parity odd-parity))
  +
   
   (defun remove-bit7 (poly)
     "
  
positive.code:     poly))
  
  
  
  (defun %division (poly gg)
    
    (check-type poly poly)
    (check-type gg (unsigned-byte 32))
    (check-type gg (integer 1))
  
negative.code: RETURN:  POLY; the remainder (unsigned-byte 32)..
  "
    (multiple-value-bind (tt3 n p0 p1 p2 p3) (%division poly gg)
      ;; Renormalize the quotient
      (setf (aref poly 3) (logand (logior (ash p3 (- n 32)) (ash p2 n)) #xffffffff)
            (aref poly 2) (logand (logior (ash p2 (- n 32)) (ash p1 n)) #xffffffff)
            (aref poly 1) (logand (logior (ash p1 (- n 32)) (ash p0 n)) #xffffffff)
            (aref poly 0) (logand (ash p0 (- n 32)) #xffffffff))
      (values poly tt3)))
  
  
  (defun remainder32 (poly gg)
  